kernel.arch.x86_64.specs.acpi