[TESTS] Fix typo in VExpress A15 guest README

Signed-off-by: Anup Patel <anup@brainfault.org>
[TESTS] Enable VirtIO drivers for linux on VExpress-A9 guest

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] Add VirtIO device nodes to VExpress-A9 guest template

Signed-off-by: Anup Patel <anup@brainfault.org>
[TESTS] Inform location of VirtIO devices to linux on VExpress-A9 guest via kernel args

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] arm32ve: Add VGIC support code

The VGIC code is going to be common for arm32ve and arm64.

This patch provides support macros in arch_regs.h and changes in arm32ve for writing generic VGIC code.

Signed-off-by: Anup Patel <anup@brainfault.org>
Merge remote-tracking branch 'upstream/master' into dev_exynos4
[DRIVERS] rtc-s3c: Don't rely on device clk setting.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[DRIVERS] samsung-uart: Don't rely on device clk setting.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[CORE] remove clk member from vmm_device struct

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>