diff --git a/boards/t480-hotp-maximized/t480-hotp-maximized.config b/boards/t480-hotp-maximized/t480-hotp-maximized.config
index 1dc5dfc3..34de19b0 100644
--- a/boards/t480-hotp-maximized/t480-hotp-maximized.config
+++ b/boards/t480-hotp-maximized/t480-hotp-maximized.config
@@ -77,9 +77,10 @@ export CONFIG_PRIMARY_KEY_TYPE=ecc
 #TPM1 requirements
 #export CONFIG_TPM=y
 export CONFIG_DEBUG_OUTPUT=n
-export CONFIG_ENABLE_FUNCTION_TRACING_OUTPUT=y
+export CONFIG_ENABLE_FUNCTION_TRACING_OUTPUT=n
 #Enable TPM2 pcap output under /tmp
 export CONFIG_TPM2_CAPTURE_PCAP=n
+#Enable quiet mode: technical information logged under /tmp/debug.log
 export CONFIG_QUIET_MODE=y
 export CONFIG_BOOTSCRIPT=/bin/gui-init
 export CONFIG_BOOT_REQ_HASH=n
diff --git a/boards/t480-maximized/t480-maximized.config b/boards/t480-maximized/t480-maximized.config
index 5b1f34b2..be3c2948 100644
--- a/boards/t480-maximized/t480-maximized.config
+++ b/boards/t480-maximized/t480-maximized.config
@@ -77,9 +77,10 @@ export CONFIG_PRIMARY_KEY_TYPE=ecc
 #TPM1 requirements
 #export CONFIG_TPM=y
 export CONFIG_DEBUG_OUTPUT=n
-export CONFIG_ENABLE_FUNCTION_TRACING_OUTPUT=y
+export CONFIG_ENABLE_FUNCTION_TRACING_OUTPUT=n
 #Enable TPM2 pcap output under /tmp
 export CONFIG_TPM2_CAPTURE_PCAP=n
+#Enable quiet mode: technical information logged under /tmp/debug.log
 export CONFIG_QUIET_MODE=y
 export CONFIG_BOOTSCRIPT=/bin/gui-init
 export CONFIG_BOOT_REQ_HASH=n