Hello, Glen, After adding a new kernel just execute 'update-grub'. Beware, that your new kernel will be loaded by default, so if you want to change it have a look at the appropriate entry in your grub.lst. Hope this helps. -- With best regards, Sergei.
