diff --git a/kernel/internal.c b/kernel/internal.c
index efa18f3..56dcad5 100644
--- a/kernel/internal.c
+++ b/kernel/internal.c
@@ -635,7 +635,7 @@ do_source_dbg( struct debug_xt *debug_xt_item )
 
 			default:
 				/* Display debug banner */
-				printk(DEBUG_BANNER);
+				printf_console(DEBUG_BANNER);
 				while (!availchar());
 				k = getchar();
 		}