[PATCH] x86_64: More fixes for compilation without CONFIG_ACPI