diff --git a/debian/config/amd64/config b/debian/config/amd64/config
index 1021d6337..7def8b452 100644
--- a/debian/config/amd64/config
+++ b/debian/config/amd64/config
@@ -111,6 +111,7 @@ CONFIG_VIRTUALIZATION=y
 CONFIG_KVM=m
 CONFIG_KVM_INTEL=m
 CONFIG_KVM_AMD=m
+# CONFIG_KVM_TRACE is not set
 
 ##
 ## file: arch/x86/xen/Kconfig