diff --git a/trunk/configs/boards/MIWIFI-MINI/kernel-3.4.x.config b/trunk/configs/boards/MIWIFI-MINI/kernel-3.4.x.config
index d90e486725..845a9cf42f 100644
--- a/trunk/configs/boards/MIWIFI-MINI/kernel-3.4.x.config
+++ b/trunk/configs/boards/MIWIFI-MINI/kernel-3.4.x.config
@@ -1775,7 +1775,7 @@ CONFIG_NLS_UTF8=y
 # Kernel hacking
 #
 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
-# CONFIG_PRINTK_TIME is not set
+CONFIG_PRINTK_TIME=y
 CONFIG_DEFAULT_MESSAGE_LOGLEVEL=4
 CONFIG_ENABLE_WARN_DEPRECATED=y
 CONFIG_ENABLE_MUST_CHECK=y