Is ios 7 real 64-bit?