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