Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 14f1db0aaed5208d5e8340c816ca6e555f81f67e)
+++ defaults/amd64/Makefile.config	(revision 676afa2ea2fcf3d142dad39c9ff66f83c45565b0)
@@ -32,4 +32,7 @@
 CONFIG_LOG = n
 
+# Kernel function tracing
+CONFIG_TRACE = n
+
 # Compile kernel tests
 CONFIG_TEST = y