[coreboot] [commit] r5128 - trunk