[coreboot] Patch merged into coreboot/master: cff0886 i82801dx: Replace romstage printk's