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