Re: [libvirt PATCH v3 07/12] tools: support automatically constructing SEV-ES vCPU state