[coreboot-gerrit] Patch set updated for coreboot: c7dda32 console: Use single driver entry for UARTs