Re: [PATCH v2 2/3] acpi: Add missing ARM acpi_table header