[Linaro-acpi] [PATCH v2 3/5] ACPI tables: when bodging up an RSDP, do the right thing for the arch