[coreboot] Tianocore and TPM