[coreboot-gerrit] Patch set updated for coreboot: 9b4ecf0 Trusted Platform: Make TPM init available without ChromeOS