[coreboot] [commit] r5233 - trunk