Removing redundant kernels

[Peter Hillier-Brook <phb@hbsys.plus.com>]

Following updates I find I have several redundant kernels and 
corresponding entries in GRUB. Is there a preferred method of removing 
these, once I have established stability with later versions, or is my 
first thought of 'rm'ing the relevant files and editing menu.lst good 
enough?

Peter HB