bugzilla.kernel.org ACPI bugs: 10% BIOS