Cómo actualizar el Kernel en Ubuntu desde el kernel-ppa mainline (Linux Kernel 4.8.0)

Vemos que versión del kernel tenemos instalada

Descargamos el nuevo kernel de http://kernel.ubuntu.com/~kernel-ppa/mainline/ e instalamos

Reiniciamos y comprobamos la nueva versión