[coreboot] Patch merged into coreboot/master: 3600e96 Fix UART8250 console prototypes