Re: [coreboot] Coreboot build unstable?