Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision f2c8f5588f9138d61d6ad09bef025846097bff23)
+++ kernel/Makefile	(revision c8c418cfd8936e2c483dab085f167f7c507ef53b)
@@ -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 \
Index: kernel/arch/arm32/include/arch/cp15.h
===================================================================
--- kernel/arch/arm32/include/arch/cp15.h	(revision f2c8f5588f9138d61d6ad09bef025846097bff23)
+++ kernel/arch/arm32/include/arch/cp15.h	(revision c8c418cfd8936e2c483dab085f167f7c507ef53b)
@@ -400,5 +400,5 @@
 #if defined(PROCESSOR_cortex_a8)
 #define CP15_C7_MVA_ALIGN	64
-#elif defined(PROCESSOR_arm1176)
+#elif defined(PROCESSOR_arm1176jzf_s)
 #define CP15_C7_MVA_ALIGN	32
 #elif defined(PROCESSOR_arm926ej_s)
@@ -407,5 +407,5 @@
 #define CP15_C7_MVA_ALIGN	32
 #else
-#error Unknow MVA alignment
+#error Unknown MVA alignment
 #endif