[coreboot] [commit] r5457 - trunk