Patches to compile the kernel with Intel's C/C++ compiler

[Mark Linimon]

Let's also note here that the bento cluster builds routinely find
cases where gcc produces internal errors.

mcl