Re: [coreboot] two minor Coreinfo patches