On 32-bit systems:
$ wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.14.1-trusty/linux-headers-3.14.1-031401_3.14.1-031401.201404141220_all.deb
$ wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.14.1-trusty/linux-headers-3.14.1-031401-generic_3.14.1-031401.201404141220_i386.deb
$ wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.14.1-trusty/linux-image-3.14.1-031401-generic_3.14.1-031401.201404141220_i386.deb
$ sudo dpkg -i linux-headers-3.14.1-*.deb linux-image-3.14.1-*.deb
Don't forget to reboot...
On 32-bit systems:
$ wget kernel. ubuntu. com/~kernel- ppa/mainline/ v3.14.1- trusty/ linux-headers- 3.14.1- 031401_ 3.14.1- 031401. 201404141220_ all.deb
$ wget kernel. ubuntu. com/~kernel- ppa/mainline/ v3.14.1- trusty/ linux-headers- 3.14.1- 031401- generic_ 3.14.1- 031401. 201404141220_ i386.deb
$ wget kernel. ubuntu. com/~kernel- ppa/mainline/ v3.14.1- trusty/ linux-image- 3.14.1- 031401- generic_ 3.14.1- 031401. 201404141220_ i386.deb
$ sudo dpkg -i linux-headers- 3.14.1- *.deb linux-image- 3.14.1- *.deb
Don't forget to reboot...