Performs a verified launch using Intel TXT