Custom kernel version is not correctly detected by Grub