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