[PATCH] x86_64 CONFIG_ACPI=n build fix