Supporting 64-bit ARM systems

Perhaps this isn't so easy for ARM as it was for x86_64. The instruction length on i386 and x86_64 is basically variable, so the x86_64 instructions sometimes are just the same opcodes with a different or extra prefix. On ARM you don't have that, ehm, luxury?

I just hope they're not going to do a 64-bits Thumb :-)