dladmin@dl-104:~$ sudo update-grub2
Generating grub configuration file ...
Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.
Found linux image: /boot/vmlinuz-3.13.0-86-generic
Found initrd image: /boot/initrd.img-3.13.0-86-generic
Adding boot menu entry for EFI firmware configuration
done
dladmin@dl-104:~$ dpkg -l | grep linux-image
ii linux-image-3.13.0-86-generic 3.13.0-86.131 amd64 Linux kernel image for version 3.13.0 on 64 bit x86 SMP
ii linux-image-extra-3.13.0-86-generic 3.13.0-86.131 amd64 Linux kernel extra modules for version 3.13.0 on 64 bit x86 SMP
ii linux-image-generic 3.13.0.86.92 amd64 Generic Linux kernel image