[coreboot-gerrit] Patch merged into coreboot/master: 77ffa0d UART 8250: Unconditionally provide register constants and use UART8250 prefix.