Re: [coreboot] Something wrong in last week's check-in