[Linaro-acpi] [PATCH 2/3] ACPI: Allocate platform ID for v2m_sysreg