[arch][arm64] Set IS_64BIT Change-Id: I4c341bcd501bc35c5067b294eeb4aab0620763cf
The LK embedded kernel