[coreboot-gerrit] Patch set updated for coreboot: b19c6c4 console: Add drivers/uart