2012/10/15 Hristo Venev <mustrumr97 at gmail.com>: > Is it a gcc bug or is it a coreboot bug? Actually it is a binutils 'bug'. You should run 'make crossgcc' (and remove .xcompile) in the top directory, where you run 'make menuconfig'.