Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ kernel/Makefile	(revision c61d34be34099f5ca3cf83937a9935c4e09a9773)
@@ -45,5 +45,5 @@
 GCC_CFLAGS = -I$(INCLUDES) -O$(OPTIMIZATION) \
 	-fno-builtin -Wall -Wextra -Wno-unused-parameter -Wmissing-prototypes -Werror \
-	-nostdlib -nostdinc
+	-nostdlib -nostdinc -pipe
 
 ICC_CFLAGS = -I$(INCLUDES) -O$(OPTIMIZATION) \
@@ -366,5 +366,5 @@
 
 depend: archlinks
-	-makedepend $(DEFS) $(CFLAGS) -f - $(ARCH_SOURCES) $(GENARCH_SOURCES) $(GENERIC_SOURCES) > Makefile.depend 2> /dev/null
+	-makedepend -f - -- $(DEFS) $(CFLAGS) -- $(ARCH_SOURCES) $(GENARCH_SOURCES) $(GENERIC_SOURCES) > Makefile.depend 2> /dev/null
 
 arch/$(ARCH)/_link.ld: arch/$(ARCH)/_link.ld.in