Use SMP kernel and add changes for gonzo's rpi3 psci monitor

board/RaspberryPi3/setup.sh

@@ -1,4 +1,4 @@
-KERNCONF=GENERIC-UP
+KERNCONF=GENERIC
 RPI3_UBOOT_PORT="u-boot-rpi3"
 RPI3_UBOOT_BIN="u-boot.bin"
 RPI3_UBOOT_PATH="/usr/local/share/u-boot/${RPI3_UBOOT_PORT}"
@@ -41,13 +41,14 @@ raspberry_pi_populate_boot_partition ( ) {
     cp ${UBOOT_PATH}/start_cd.elf .
     cp ${UBOOT_PATH}/start_x.elf .
     cp ${UBOOT_PATH}/u-boot.bin .
+    cp ${UBOOT_PATH}/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