[coreboot] Bayou