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