[coreboot-gerrit] Patch merged into coreboot/master: c7dda32 console: Use single driver entry for UARTs