[coreboot] r3934 - trunk/payloads/bayou