board: rpi: tizen_rpi: Change from CONFIG_ARM64 to CONFIG_PHYS_64BIT

initrd_high is dependent with CONFIG_PHYS_64BIT configuration.
Even though CONFIG_ARM64 is not enabled, CONFIG_PHYS_64BIT can be
enabled.

Change-Id: I4a6be68f5e0b4a9fb7b98e8adc469a08d6dea998
Signed-off-by: Jaehoon Chung <jh80.chung@samsung.com>

diff --git a/board/raspberrypi/rpi/tizen_rpi.env b/board/raspberrypi/rpi/tizen_rpi.env
index cea5a135998cce833b77c82fd13fcc75573a53a8..9f8a7076be4c73d854893932b0943cdd7047c6b2 100644 (file)
--- a/board/raspberrypi/rpi/tizen_rpi.env
+++ b/board/raspberrypi/rpi/tizen_rpi.env
@@ -47,7 +47,7 @@ stderr=serial
  * only 64M, the remaining 25M starting at 0x02700000 should allow quite
  * large initrds before they start colliding with U-Boot.
  */
-#ifdef CONFIG_ARM64
+#ifdef CONFIG_PHYS_64BIT
 fdt_high=ffffffffffffffff
 initrd_high=ffffffffffffffff
 #else