Re: [coreboot] coreinfo compilation problem