Re: [coreboot] Bug in your code