ICBW but it seems that the TPM is the basis for the virtual TPM, is that correct? Or a HW TPM is still required for those machines?