[PATCH 4/6] server: Remove no longer used set_console_input_info.