[coreboot-gerrit] Patch set updated for coreboot: 6c07ada uart8250: Move under drivers/uart