Merge pull request #3802 from haukepetersen/opt_kernelinit

core: optimized output on kernel-init

core/kernel_init.c

@@ -51,6 +51,8 @@ static void *main_trampoline(void *arg)
     auto_init();
 #endif
 
+    LOG_INFO("main(): This is RIOT! (Version: " RIOT_VERSION ")\n");
+
     main();
     return NULL;
 }
@@ -82,7 +84,6 @@ static char idle_stack[THREAD_STACKSIZE_IDLE];
 void kernel_init(void)
 {
     (void) disableIRQ();
-    LOG_INFO("kernel_init(): This is RIOT! (Version: %s)\n", RIOT_VERSION);
 
     hwtimer_init();
 
@@ -96,7 +97,5 @@ void kernel_init(void)
             CREATE_WOUT_YIELD | CREATE_STACKTEST,
             main_trampoline, NULL, main_name);
 
-    LOG_INFO("kernel_init(): jumping into first task...\n");
-
     cpu_switch_context_exit();
 }