Mention the tainted socket in mark_server_socket_tainted().