[coreboot] r3246 - trunk/payloads/coreinfo