Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 2a3124c420b0892b8e7da990c72b12a6d7b06a9c)
+++ kernel/Makefile	(revision 18ad03f31875a03f728a03f6cf3d0f238688fb57)
@@ -44,9 +44,9 @@
 
 GCC_CFLAGS = -I$(INCLUDES) -O$(OPTIMIZATION) \
-	-fno-builtin -fomit-frame-pointer -Wall -Wextra -Wno-unused-parameter -Wmissing-prototypes -Werror \
+	-fno-builtin -Wall -Wextra -Wno-unused-parameter -Wmissing-prototypes -Werror \
 	-nostdlib -nostdinc
 
 ICC_CFLAGS = -I$(INCLUDES) -O$(OPTIMIZATION) \
-	-fno-builtin -fomit-frame-pointer -Wall -Wmissing-prototypes -Werror \
+	-fno-builtin -Wall -Wmissing-prototypes -Werror \
 	-nostdlib -nostdinc \
 	-wd170