[PATCH 1/1] ARM: vexpress_ca9x4: Reintroduce board in order to use with QEMU.