[coreboot] New patch to review for coreboot: fcbbff1 Fix UART8250 console prototypes