IPFire on the Raspberry PI 3 b+ does not boot from USB Stick

Getting Started with IPFire
2

Looks like the included u-boot not support boot from usb because it not set matching environment variables for boot_dev. Our skripts set this to mmc if it was empty.