Improved debug assertion support on 64-bit ARM platforms