Since a while we have exit /etc/flash-kernel/ubootenv.d for flash-kernel. A script can be added here to launch GRUB.
Another possibility is to create /boot/boot.scr.uimg using mkimage from a text file with a content like the following lines: load mmc 0:2 $fdt_addr_r dtb load mmc 0:1 $kernel_addr_r efi/debian/grubaa64.efi bootefi $kernel_addr_r $fdt_addr_r So I suggest to close this issue. Best regards Heinrich Schuchardt
