Cleaning up the list of o/s in a dual boot

[glotz]

And then we can move onto another question, namely, do you have chosen
the right kernel? Refer to
http://www.ubuntuforums.org/showthread.php?t=85917


-- 
glotz