ARM64/AArch64 Support Going Into Linux 3.7 Kernel

The Linux 3.7 kernel will feature support for the ARM 64-bit architecture (ARM64), which is officially known as AArch64…