void stdio_print_current_devices(void)
 {
-#ifndef CONFIG_SYS_CONSOLE_INFO_QUIET
        /* Print information */
        puts("In:    ");
        if (stdio_devices[stdin] == NULL) {
        } else {
                printf ("%s\n", stdio_devices[stderr]->name);
        }
-#endif /* CONFIG_SYS_CONSOLE_INFO_QUIET */
 }
 
 #ifdef CONFIG_SYS_CONSOLE_IS_IN_ENV
 
        gd->flags |= GD_FLG_DEVINIT;    /* device initialization completed */
 
+#ifndef CONFIG_SYS_CONSOLE_INFO_QUIET
        stdio_print_current_devices();
+#endif /* CONFIG_SYS_CONSOLE_INFO_QUIET */
 
 #ifdef CONFIG_SYS_CONSOLE_ENV_OVERWRITE
        /* set the environment variables (will overwrite previous env settings) */
 
        gd->flags |= GD_FLG_DEVINIT;    /* device initialization completed */
 
+#ifndef CONFIG_SYS_CONSOLE_INFO_QUIET
        stdio_print_current_devices();
+#endif /* CONFIG_SYS_CONSOLE_INFO_QUIET */
 
        /* Setting environment variables */
        for (i = 0; i < 3; i++) {