adding addresses for 3.11.0-88-mptcp

These are the addresses for 3.11.0-88-mptcp on Ubuntu 13.10.
Kernel installed from : http://multipath-tcp.org/pmwiki.php/Users/AptRepository