On 01/12/14 19:09, Benjamin Herrenschmidt wrote: > Your attached config has ... > > CONFIG_X86_64=y > CONFIG_X86=y > CONFIG_INSTRUCTION_DECODER=y > CONFIG_OUTPUT_FORMAT="elf64-x86-64" > CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig" > > So it's probably not what you wanted :-) No, it wasn't. I accidentally attached the wrong .config. I replied to this with the correct config last week. Did you get it? Here it is again. Just built against a fresh git pull and it's still happening for me... Thanks, Rob