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