Re: [libvirt] [PATCH v2 0/2] Introduce GIC for aarch64