linux/include/acpi/platform/