[PATCH 0/2] qemu: prefer GICv3 on TCG ARM VMs