scripts: mkbootimg_rpi4.sh: Fix how to check 64bit

The CONFIG_64BIT_TIME configuration is used by 32bit kernel, so it is
having problem identifying 64bit. So modify to "CONFIG_64BIT=y".

Change-Id: I0e8b3e34b3faf5f307ce9bc0fef266397ae697a7
Signed-off-by: Hoegeun Kwon <hoegeun.kwon@samsung.com>

diff --git a/scripts/mkbootimg_rpi4.sh b/scripts/mkbootimg_rpi4.sh
index 5fbf319..f78575d 100755 (executable)
--- a/scripts/mkbootimg_rpi4.sh
+++ b/scripts/mkbootimg_rpi4.sh
@@ -3,7 +3,7 @@
 BOOT_PATH="rpi4/boot"
 USER_ID=`id -u`
 GROUP_ID=`id -g`
-IS_64BIT=`cat .config | grep CONFIG_64BIT`
+IS_64BIT=`cat .config | grep "CONFIG_64BIT=y"`
 
 rm -f boot.img
 rm -rf tmp