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