Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision eb1c0a37580b25a6046c2480a2cef05c730f5a10)
+++ kernel/Makefile	(revision 66600748d280f1c3e365cc94cf439448f2fe4900)
@@ -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