[coreboot-gerrit] Patch set updated for coreboot: dd24b14 console: Split ROMCC helpers