Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/Makefile	(revision e3a07bba11969b79195e334d7a3b3f0b62575cfe)
@@ -167,4 +167,10 @@
 
 ifeq ($(COMPILER),gcc_cross)
+	CFLAGS = $(GCC_CFLAGS)
+	DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
+	INSTRUMENTATION = -finstrument-functions
+endif
+
+ifeq ($(COMPILER),gcc_helenos)
 	CFLAGS = $(GCC_CFLAGS)
 	DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)