HBSD: Fetch binary blobs for SMP on RPI3

Signed-off-by:	Shawn Webb <shawn.webb@hardenedbsd.org>

Author: lattera

board/RaspberryPi3/setup.sh

@@ -7,6 +7,8 @@ TARGET_ARCH=aarch64
 TARGET=aarch64
 DTB_REPO="https://github.com/raspberrypi/firmware/blob/master/boot/"
 
+NEW_UBOOT="https://hardenedbsd.org/~shawn/rpi3/smp"
+
 # Not used - just in case someone wants to use a manual ubldr.  Obtained
 # from 'printenv' in boot0: kernel_addr_r=0x42000000
 #UBLDR_LOADADDR=0x42000000
@@ -42,12 +44,16 @@ raspberry_pi_populate_boot_partition ( ) {
     cp ${UBOOT_PATH}/start_x.elf .
     cp ${UBOOT_PATH}/u-boot.bin .
 
+    # Copy new u-boot for SMP
+    fetch ${NEW_UBOOT}/u-boot.bin
+    fetch ${NEW_UBOOT}/armstub8.bin
+
     # Populate config.txt
     echo "arm_control=0x200" > config.txt
     echo "dtparam=audio=on,i2c_arm=on,spi=on" >> config.txt
     echo "dtoverlay=mmc" >> config.txt
     echo "dtoverlay=pi3-disable-bt" >> config.txt
-    echo "device_tree_address=0x100" >> config.txt
+    echo "device_tree_address=0x4000" >> config.txt
     echo "kernel=u-boot.bin" >> config.txt
 
     # Fetch the dtb