Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision b8fac76dfe5c0b164242ffb27f4a79965e1351e7)
+++ kernel/Makefile	(revision 5eae56aa8eba23f4d7a263543454b0317c7727a1)
@@ -404,5 +404,5 @@
 %.h: %.ag
 	$(AUTOGEN) probe $< >$<.probe.c
-	$(GCC) $(DEFS) $(GCC_CFLAGS) -S -o $<.probe.s $<.probe.c
+	$(CC) $(DEFS) $(CFLAGS) -S -o $<.probe.s $<.probe.c
 	$(AUTOGEN) generate $< <$<.probe.s >$@