Since FreeBSD port currently not require any special features, then it’s possible to boot kernel from original (first) uboot.
Fetch U-Boot image here http://people.freebsd.org/~ray/u-boot_efiks_mx_smartbook.imx Insert unused SD card WARNING! Check your /dev/da devices first, to not damage other cards, of SCSI HDD, or USB flash stick.