[coreboot-gerrit] Patch set updated for coreboot: [DO NOT MERGE] Add new RISC-V HTIF console driver