Kernel entries are not updated in grub menu