[coreboot] Re: compiler/toolchain issue?