after following the migration instructions from wiki.parabola.nu/Migration_from_Arch_ARM , uboot does not boot into parabola.

output of serial console:

U-Boot 2018.03-1 (Apr 01 2018 - 16:19:49 +0000) Arch Linux ARM

CPU: Freescale i.MX6Q rev1.5 at 792 MHz
Reset cause: WDOG
I2C: ready
DRAM: 2 GiB
PMIC: PFUZE100 ID=0x10
MMC: FSL_SDHC: 0, FSL_SDHC: 1
Loading Environment from MMC... *** Warning - bad CRC, using default environment

Failed (-5)
auto-detected panel HDMI
Display: HDMI (1024x768)
In: serial
Out: serial
Err: serial
Board: Wandboard rev D1
Net: FEC [PRIME]
Hit any key to stop autoboot: 0
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:1...
MMC: no card present
AHCI 0001.0300 32 slots 1 ports 3 Gbps 0x1 impl SATA mode
flags: ncq stag pm led clo only pmp pio slum part
No port device detected!

Device 0: Model: Firm: Ser#:
Type: Hard Disk
Capacity: not available
... is now current device

• Bad device size - sata 0 **
  starting USB...
  USB0: Port not available.
  USB1: USB EHCI 1.00
  scanning bus 1 for devices... 1 USB Device(s) found
  scanning usb for storage devices... 0 Storage Device(s) found

Device 0: device type unknown
... is now current device

• Bad device usb 0 **
• Bad device usb 0 **
  BOOTP broadcast 1

uboot will continue trying to broadcast past this point. I tried renaming vmlinuz-linux-libre to vmlinuz-linux-libre-4.18.<whatever the /lib/modules said> but that did not work either.