The latest binary release of the clang/LLVM based ELLCC tool chain (0.1.23) is able to build the Linux kernel for the Raspberry Pi B+. I wrote up a post on how to do it easily at http://ellcc.org/blog/?p=26435 -Rich