Pour Debian (et fonction du kernel choisi) :
# cd /boot/ ; ls -l
# wget -nv ftp://ftp.ovh.net/made-in-ovh/bzImage/bzImage-3.2.13-xxxx-grs-ipv6-64
# wget -nv ftp://ftp.ovh.net/made-in-ovh/bzImage/System.map-3.2.13-xxxx-grs-ipv6-64
# cp -p grub/grub.cfg grub/grub.old.cfg
# update-grub
# diff grub.old.cfg grub/grub.cfg
# reboot