[Bug 753889] New: grub2: Sorts "previous" kernel versions in wrong order