[Linaro-acpi] [RFC PATCH 2/3] ACPI: Add vexpress sysreg platform ID