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