Re: [libvirt] [PATCH 4/5] gic: Remove VIR_GIC_VERSION_DEFAULT