Re: [coreboot] Rebuilding coreboot image generation