[coreboot] [commit] r6242 - trunk