[coreboot] [commit] r5881 - trunk