[MPTCP] Re: [PATCH] mptcp: MPTCP_IPV6 should depend on IPV6 instead of selecting it