[zokier]

I was kinda hoping we'd get away from these kind of woes with the transition from BIOS to (U)EFI. Apparently that is not the case.

[yuhong]

This is related to ACPI, not BIOS/UEFI.