[Linaro-acpi] [PATCH 0/3] Convert v2m_sysreg into ACPI tables