Building 32bit u-boot for the RPi3

Previously it has not been possible to use the camera module on FreeBSD due to the RPi tools not working on 64-bit architectures. I have recently added a version of the u-boot port for the Raspberry Pi 3 that is built in 32-bit mode.

In the past I have been able to build images that worked, but currently I am having trouble with u-boot finding EFI.

u-boot failure

Searching the mailing lists and bugzilla has only led to old posts from when we switched u-boot to EFI years ago.

Once this issue is addressed I commit the changes I have for Crochet so that other people can take advantage of them as well.