RPi3 aka RaspberryPi3 and crochet - IMAGE_SIZE too small

[Curtis Villamizar]

FYI-

Building RPi3 with crochet and FreeBSD-current (I'm using r331537) and
crochet runs out of room in the imgage.  Increasing from 2GB to 3GB
solves this.  Might be a good idea to change GENERIC to the nodebug
version at some point if using current.

Curtis


--- crochet/board/RaspberryPi3/setup.sh.orig	2018-03-25 04:07:27.027237000 -0400
+++ crochet/board/RaspberryPi3/setup.sh	2018-03-31 19:16:43.359150000 -0400
@@ -2,7 +2,7 @@
 RPI3_UBOOT_PORT="u-boot-rpi3"
 RPI3_UBOOT_BIN="u-boot.bin"
 RPI3_UBOOT_PATH="/usr/local/share/u-boot/${RPI3_UBOOT_PORT}"
-IMAGE_SIZE=$((2000 * 1000 * 1000))
+IMAGE_SIZE=$((3 * 1024 * 1024 * 1024))
 TARGET_ARCH=aarch64
 TARGET=aarch64
 DTB_REPO="https://github.com/raspberrypi/firmware/blob/master/boot/"