Fix grub configuration so that the kernel is loaded from the
chosen image.