[coreboot] Patch set updated: 5f1cfd8 Do full flush on uart8250 only at end of printk.