[coreboot-gerrit] Patch set updated for coreboot: 15cbffd console: Add printk helper for ChromeOS