[coreboot] [commit] r5010 - trunk/src/pc80