Grub not defaulting to latest kernel in 12.10

view story

http://askubuntu.com – I upgraded to 12.10 (32-bit) a few weeks ago (from 12.04) and everything has been running fine. A few days ago, the updater installed the latest kernel ( ?) and since then I always have to manually select the latest kernel when booting. I tried looking for /etc/default/grub but that file didn't exist. I installed Grub Customiser but that, apart from taking minutes to appear, suggested that the default kernel was '0'. But it did create a small /etc/default/grub file with the following entries: GRUB_DEFAULT="0" GRUB_TIMEOUT=10 GRUB_SAVEDEFAULT="false" #UNNAMED_OPTION=" (HowTos)