Re: [coreboot] Coreinfo build patch