Re: [PATCH v3] vmx: configure TPM device in the XML