[PATCH v3 1/2] server: Send console process ID via get_next_console_request()