[coreboot] Patch merged into coreboot/master: ddff32e Tyan S8226: Fix printk warnings