* Change how we find the installer when booting via grub-efi: instead of looking for the .disk/info file, use .disk/id/$UUID instead. Closes: #1024346, #1024720.
So does it make sense to still have the following in EFI GRUB images (memdisk)/grub.cfg ?
if [ -z "$prefix" -o ! -e "$prefix" ]; then if ! search --file --set=root /.disk/info; then search --file --set=root /.disk/mini-info