[PATCH 02/40] x86: Allow any arch to generate ACPI tables