Re: [libvirt PATCH v2 5/8] qemu: Format the armvtimer timer on the command line