I have a Dell Inspiron with Windows XP and Ubuntu 10.04, dual boot. Every time Ubuntu upgrades, a new boot option appears on the boot menu. I now have about 10 different kernels to choose from and I want to remove all but the last few. I deleted them from the /boot directory but they still appear when I boot the system. There must be another place where these boot options are kept and I cannot find it. Does anyone know where...?