Grub menu is not updated