Patch to build linux kernel with the icc compiler