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