[coreboot] r3454 - trunk/coreboot-v2/src/pc80