Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision a41cda7148c7e82b6da87a3103019c06fdc484cb)
+++ kernel/Makefile	(revision 2bdf92a5421dca631f166390174abc1a586d1c26)
@@ -92,7 +92,4 @@
 	-Wwrite-strings -pipe
 
-ICC_CFLAGS = -Wall -Wmissing-prototypes \
-	-Werror-implicit-function-declaration -wd170
-
 CLANG_CFLAGS = -std=gnu99 -Wall -Wextra -Wno-unused-parameter \
 	-Wno-missing-field-initializers -Wno-unused-command-line-argument \
@@ -171,10 +168,4 @@
 	DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
 	INSTRUMENTATION = -finstrument-functions
-endif
-
-ifeq ($(COMPILER),icc)
-	CFLAGS = $(COMMON_CFLAGS) $(ICC_CFLAGS)
-	DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
-	INSTRUMENTATION =
 endif