Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision ca207e039a3c4881e7ab829333a6c310abb4962c)
+++ kernel/Makefile	(revision d75dc0561c7ce077e18de03f15c1afa664e05d5e)
@@ -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