Hacker News new | ask | show | jobs
by criticalfault 11 days ago
it's an UEFI Problem

they seem to have dealt with this for the server hardware
1 comments
criticalfault 11 days ago
or acpi.
link