Changed the way the latest version of the kernel available on the system is detected for grub in 13.10 script