Restore compilation of MPTCP enabled kernel.