Fix an issue during installation resulting in an incorrect grub.cfg