[coreboot-gerrit] New patch to review for coreboot: 888cc0b uart8250: Move under drivers/uart