[coreboot] [commit] r5531 - trunk