[coreboot-gerrit] Patch set updated for coreboot: a64e90e ChromeOS: Rename init_chromeos() to init_trusted_platform()