rpi3: Enable ARM atf boot for rpi3

Boot rpi3 with u-boot-spl.bin which enables ARM atf.
Other booting options are set as like:
https://github.com/OP-TEE/build/blob/master/rpi3/firmware/config.txt

Change-Id: I0c0559c3f72f252c2cd2716b746b3c49b04fd63e
Signed-off-by: Rafal Tyminski <r.tyminski@partner.samsung.com>
[sw0312.kim: add more options and adjust commit-msg]
Signed-off-by: Seung-Woo Kim <sw0312.kim@samsung.com>

diff --git a/rpi3/boot/config.txt b/rpi3/boot/config.txt
index 325d8ac..32c8f6a 100644 (file)
--- a/rpi3/boot/config.txt
+++ b/rpi3/boot/config.txt
@@ -64,7 +64,13 @@ uart_2ndstage=1
 arm_control=0x200      # for 64-bit
 
 # Kernel binary
-kernel=u-boot.bin
+kernel=u-boot-spl.bin
 
 # Device tree binary
 device_tree=bcm2710-rpi-3-b.dtb
+
+# Kernel Address 0x0
+kernel_old=1
+
+# Skip filling ATAGS
+disable_commandline_tags=1