Re: [PATCH 04/40] arm: Allow supporting ACPI-table generation