[coreboot] Patch merged into master: 5f1cfd8 Do full flush on uart8250 only at end of printk.