[coreboot] [commit] r5878 - trunk