Tormod:
I don't think Bug #19251 is a duplicate of this one. That bug is mainly asking for old kernels to be removed when a new kernel is installed and mentions a prettier grub in passing.
Tormod:
I don't think Bug #19251 is a duplicate of this one. That bug is mainly asking for old kernels to be removed when a new kernel is installed and mentions a prettier grub in passing.