Re: [Linaro-acpi] [RFC PATCH 0/3] ACPI: Add vexpress-sysreg