Index: defaults/arm32/Makefile.config
===================================================================
--- defaults/arm32/Makefile.config	(revision c40e6ef70f0e9c43e2f42c99ec4a98b405e12653)
+++ defaults/arm32/Makefile.config	(revision bd11d3e61f28b76b32ae485033f9c0a9e0c0720c)
@@ -23,4 +23,7 @@
 CONFIG_LOG = n
 
+# Kernel function tracing
+CONFIG_TRACE = n
+
 # Compile kernel tests
 CONFIG_TEST = y