Index: kernel/generic/include/debug.h
===================================================================
--- kernel/generic/include/debug.h	(revision 133461cfb3c6b9057bc80b370c39a3e1d20202c2)
+++ kernel/generic/include/debug.h	(revision d28bdbe75cc46051fcb1dd433ed83437fd3320c0)
@@ -38,6 +38,13 @@
 #include <log.h>
 #include <symtab_lookup.h>
+#include <printf/verify.h>
 
 #define CALLER  ((uintptr_t) __builtin_return_address(0))
+
+/* An empty printf function to ensure syntactic correctness of disabled debug prints. */
+_HELENOS_PRINTF_ATTRIBUTE(1, 2)
+static inline void dummy_printf(const char *fmt, ...)
+{
+}
 
 #ifdef CONFIG_LOG
@@ -53,5 +60,5 @@
 	do { \
 		log(LF_OTHER, LVL_DEBUG, \
-		    "%s() from %s at %s:%u: " format,__func__, \
+		    "%s() from %s at %s:%u: " format, __func__, \
 		    symtab_fmt_name_lookup(CALLER), __FILE__, __LINE__, \
 		    ##__VA_ARGS__); \
@@ -60,5 +67,5 @@
 #else /* CONFIG_LOG */
 
-#define LOG(format, ...)
+#define LOG(format, ...) dummy_printf(format, ##__VA_ARGS__)
 
 #endif /* CONFIG_LOG */
Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 133461cfb3c6b9057bc80b370c39a3e1d20202c2)
+++ kernel/generic/src/main/main.c	(revision d28bdbe75cc46051fcb1dd433ed83437fd3320c0)
@@ -193,8 +193,6 @@
 	version_print();
 
-	LOG("\nconfig.base=%p config.kernel_size=%zu"
-	    "\nconfig.stack_base=%p config.stack_size=%zu",
-	    (void *) config.base, config.kernel_size,
-	    (void *) config.stack_base, config.stack_size);
+	LOG("\nconfig.base=%p config.kernel_size=%zu",
+	    (void *) config.base, config.kernel_size);
 
 #ifdef CONFIG_KCONSOLE