Re: [libvirt PATCH v2 4/8] qemu: Validate configuration for the armvtimer timer