[PATCH v6] vmx: configure TPM device in the XML