[coreboot-gerrit] Patch set updated for coreboot: 546f8a5 console: Unify do_printk()