[Linaro-acpi] [PATCH] ACPI: ARM: link ARM and the ACPI reduced hardware profile