Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 2f7d77c6250db2dbaf4fc40c073fd148af44fd39)
+++ kernel/Makefile	(revision 7afd12e59e45e559e134debe6fb7c76fc0d808de)
@@ -97,5 +97,5 @@
 GCC_CFLAGS = -std=gnu99 -Wall -Wextra -Wno-unused-parameter \
 	-Wmissing-prototypes -Werror-implicit-function-declaration \
-	-Wwrite-strings -pipe
+	-Wwrite-strings -pipe -Wno-cast-function-type
 
 CLANG_CFLAGS = -std=gnu99 -Wall -Wextra -Wno-unused-parameter \