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