this binary does have the proper symbols so the only conclusion i can draw is that it is not the one that is actually used during kernel make... can you strace -s 1000 -f -e execve make and see what is actually getting executed?
Please note that as the log was quite big so i have just sent the sample of the same. Please let me know if you need the full log and i will send you over email.
well, i don't really know what could be wrong in your setup since the binary does have the symbols needed by the plugins... perhaps you could try to run cc1 by hand with LD_DEBUG=libs,files,symbols,bindings and see what it says about the missing symbols.