Re: [PATCH 12/18] console: Make stdio_print_current_devices() static