[coreboot] [commit] r6228 - trunk