Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision b8fac76dfe5c0b164242ffb27f4a79965e1351e7)
+++ kernel/Makefile	(revision e6ed0b186284257ebacd09239fe1704f7224cc8c)
@@ -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 >$@