[Bug 587011] Review Request: tboot - uses Intel(R) TXT to perform a measured and verified launch of a kernel/VMM