[coreboot-gerrit] Patch merged into coreboot/master: efb0b51 console: Split ROMCC helpers