tpm emulator 1.2 tools