kernel - Improve ACPI compatibility with older BIOSes