[SCTP]: sctp_stop_t1_and_abort() annotations.