Re: Bug#1024720: marked as done (d-i fails at grub when another installer is on disk)

[Pascal Hambourg]

   * 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