Re: [coreboot] buildrom bug