Add patch to cause tboot to boot the kernel if the TXT error register
has a valid error code set from the previous boot.