[PATCH 55/72] Fix build error when CONFIG_ACPI is not set/enabled: