[coreboot] [commit] r5235 - trunk