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