[coreboot] coreinfo