[MPTCP] [PATCH v2 12/25] tcp_extra_options: Export module fixes