x86: cleanup acpi_32/64.h