Re: [PATCH 13/18] console: Refactor stdio_print_current_devices() a little bit