@Simon, you should upgrade the ubuntu-mainline-kernel script, the directory layout on kernel-ppa has changed, so the kernels are in a different location.
@Simon, you should upgrade the ubuntu- mainline- kernel script, the directory layout on kernel-ppa has changed, so the kernels are in a different location.