Not quite. I tested the newer iteration attached to Thomas' earlier email (patch dated Jul 27), which Ze hasn't posted to the list.
I also gave the v2 4/8 you linked a boot on the same QEMU setup and it behaves the same, so the tag covers either version. Tested-by: Roshan Kumar <[email protected]> # QEMU vexpress; v2 4/8 and the Jul 27 iteration
