[MPTCP] Re: [PATCH net-next] mptcp: ADD_ADDRs with echo bit are smaller