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