[Linaro-acpi] [RFC PATCH 5/5] ACPI: GUFI: start modifying the vexpress-sysreg driver to use the GUFI