Bug#490887: Incorrect ordering of kernels in /boot/grub/grub.cfg

[Kevin Shanahan]

Package: grub-pc
Version: 1.96+20080626-1

It looks like the logic for ordering the installed kernels in the list
generated by update-grub is not working correctly.

On one machine I had installed kernel 2.6.25.7 and then later
2.6.25.10. When I rebooted, expecting the new kernel to come up,
2.6.25.7 came up instead.