Comment 9 for bug 1239800

Kernel 3.11.0-5.11 has been deleted from ports.ubuntu.com. Is there another way to get hold of this?