[coreboot] [commit] r6372 - trunk