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