[coreboot-gerrit] New patch to review for coreboot: console: Add UART8250MEM 32bit support