[coreboot] [commit] r6419 - trunk