Ok, I found out how to overcome this issue. In latest Ubuntu (11.10), and latest Linux kernel, for some reason, many source files are being compiled into multiple binary targets (.o files), and suffixed with specific architecture tag (x86, x86_r3, x86_64, ...). The trick is simply to remove these su...