I was just looking at this bug report and it seems Karsten was never copied on Christoph's last email (see below).
* Christoph Egger <christ...@sieglitzhof.net> [2016-10-24 15:22]: > Hi! > > This seems to be the "new" default environment: > > => printenv > arch=arm > baudrate=115200 > board=clearfog > board_name=clearfog > boot_a_script=load ${devtype} ${devnum}:${distro_bootpart} ${scriptaddr} > ${prefix}${script}; source ${scriptaddr} > boot_efi_binary=load ${devtype} ${devnum}:${distro_bootpart} ${kernel_addr_r} > efi/boot/bootarm.efi; if fdt addr ${fdt_addr_r}; then bootefi > ${kernel_addr_r} ${fdt_addr_r};else bootefi ${kernel_addr_r} > ${fdtcontroladdr};fi > boot_extlinux=sysboot ${devtype} ${devnum}:${distro_bootpart} any > ${scriptaddr} ${prefix}extlinux/extlinux.conf > boot_net_usb_start=usb start > boot_prefixes=/ /boot/ > boot_script_dhcp=boot.scr.uimg > boot_scripts=boot.scr.uimg boot.scr > boot_targets=mmc0 usb0 pxe dhcp > bootcmd=run distro_bootcmd > bootcmd_dhcp=run boot_net_usb_start; if dhcp ${scriptaddr} > ${boot_script_dhcp}; then source ${scriptaddr}; fi;setenv efi_fdtfile > ${fdtfile}; if test -z "${fdtfile}" -a -n "${soc}"; then setenv efi_fdtfile > ${soc}-${board}${boardver}.dtb; fi; setenv efi_old_vci ${bootp_vci};setenv > efi_old_arch ${bootp_arch};setenv bootp_vci > PXEClient:Arch:00010:UNDI:003000;setenv bootp_arch 0xa;if dhcp > ${kernel_addr_r}; then tftpboot ${fdt_addr_r} dtb/${efi_fdtfile};if fdt addr > ${fdt_addr_r}; then bootefi ${kernel_addr_r} ${fdt_addr_r}; else bootefi > ${kernel_addr_r} ${fdtcontroladdr};fi;fi;setenv bootp_vci > ${efi_old_vci};setenv bootp_arch ${efi_old_arch};setenv efi_fdtfile;setenv > efi_old_arch;setenv efi_old_vci; > bootcmd_mmc0=setenv devnum 0; run mmc_boot > bootcmd_pxe=run boot_net_usb_start; dhcp; if pxe get; then pxe boot; fi > bootcmd_usb0=setenv devnum 0; run usb_boot > bootdelay=3 > console=ttyS0,115200 > cpu=armv7 > devnum=0 > devplist=1 > devtype=mmc > distro_bootcmd=for target in ${boot_targets}; do run bootcmd_${target}; done > efi_dtb_prefixes=/ /dtb/ /dtb/current/ > fdt_addr_r=0x100000 > fdt_high=0x10000000 > fdtcontroladdr=3fb4ce58 > fdtfile=armada-388-clearfog.dtb > initrd_high=0x10000000 > kernel_addr_r=0x800000 > load_efi_dtb=load ${devtype} ${devnum}:${distro_bootpart} ${fdt_addr_r} > ${prefix}${efi_fdtfile} > mmc_boot=if mmc dev ${devnum}; then setenv devtype mmc; run > scan_dev_for_boot_part; fi > pxefile_addr_r=0x300000 > ramdisk_addr_r=0x1800000 > scan_dev_for_boot=echo Scanning ${devtype} ${devnum}:${distro_bootpart}...; > for prefix in ${boot_prefixes}; do run scan_dev_for_extlinux; run > scan_dev_for_scripts; done;run scan_dev_for_efi; > scan_dev_for_boot_part=part list ${devtype} ${devnum} -bootable devplist; env > exists devplist || setenv devplist 1; for distro_bootpart in ${devplist}; do > if fstype ${devtype} ${devnum}:${distro_bootpart} bootfstype; then run > scan_dev_for_boot; fi; done > scan_dev_for_efi=setenv efi_fdtfile ${fdtfile}; if test -z "${fdtfile}" -a -n > "${soc}"; then setenv efi_fdtfile ${soc}-${board}${boardver}.dtb; fi; for > prefix in ${efi_dtb_prefixes}; do if test -e ${devtype} > ${devnum}:${distro_bootpart} ${prefix}${efi_fdtfile}; then run load_efi_dtb; > fi;done;if test -e ${devtype} ${devnum}:${distro_bootpart} > efi/boot/bootarm.efi; then echo Found EFI removable media binary > efi/boot/bootarm.efi; run boot_efi_binary; echo EFI LOAD FAILED: > continuing...; fi; setenv efi_fdtfile > scan_dev_for_extlinux=if test -e ${devtype} ${devnum}:${distro_bootpart} > ${prefix}extlinux/extlinux.conf; then echo Found > ${prefix}extlinux/extlinux.conf; run boot_extlinux; echo SCRIPT FAILED: > continuing...; fi > scan_dev_for_scripts=for script in ${boot_scripts}; do if test -e ${devtype} > ${devnum}:${distro_bootpart} ${prefix}${script}; then echo Found U-Boot > script ${prefix}${script}; run boot_a_script; echo SCRIPT FAILED: > continuing...; fi; done > scriptaddr=0x200000 > soc=mvebu > stderr=serial@12000 > stdin=serial@12000 > stdout=serial@12000 > usb_boot=usb start; if usb dev ${devnum}; then setenv devtype usb; run > scan_dev_for_boot_part; fi > vendor=solidrun > > Environment size: 3819/65532 bytes > > > -- > 9FED 5C6C E206 B70A 5857 70CA 9655 22B9 D49A E731 > Debian Developer | Lisp Hacker | CaCert Assurer -- Martin Michlmayr http://www.cyrius.com/