[MPTCP] [PATCH 1/2] mptcp: Minor changes to path manager interface