Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 75fe97b8311c155507b6ade3784b25bdbace2f5e)
+++ kernel/Makefile	(revision 95b2276c6b101a8842777b88c5d4c6bb23146e9a)
@@ -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 >$@