Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 2f7d77c6250db2dbaf4fc40c073fd148af44fd39)
+++ kernel/Makefile	(revision 8ee620c5adc94f778ea8deb1aee34cd84b69a4b7)
@@ -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 \