mptcp: add annotations around msk->subflow accesses