Bug#892406: live-build: UEFI boot fails on SuperMicro dev board with AMI bios

["Thomas Schmitt" <scdbackup@gmx.net>]

Hi,

i wonder why the built-in configuration of the EFI boot file does not work:

 # mount debian-live-9.3.0-amd64-xfce.iso /mnt/iso
 # mount /mnt/iso/boot/grub/efi.img /mnt/fat
 # strings /mnt/fat/efi/boot/bootx64.efi | tail -4
 search --file --set=root /.disk/info
 set prefix=($root)/boot/grub
 source $prefix/x86_64-efi/grub.cfg
 (memdisk)/boot/grub

Isn't this program supposed to start GRUB, look for the marker file in the
ISO filesystem, and execute /boot/grub/x86_64-efi/grub.cfg in there ?

The commit
  https://salsa.debian.org/live-team/live-build/merge_requests/3/diffs?commit_id=7676cc8988781dc9899cf3bac2e822618f117f3e
shows a similar gesture with a different marker file path and different
execution commands for grub.cfg, which are quite equivalent:
  https://www.gnu.org/software/grub/manual/grub/html_node/source.html


Have a nice day :)

Thomas