Generated an own MPTCP patch from:
git://github.com/multipath-tcp/mptcp  (branch: mptcp_v0.88)
against
git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
5ee54f38171b9b3541c5e9cf9c3a9e53455fd8b4   (branch: linux-3.11.y)

Moved MPTCP configuration into config-planetlab.