El soporte para la arquitectura de 64 bits en chips ARM como ARM64 o AArch64, se verá mejorado en el kernel Linux 3.10.
El soporte para la arquitectura 64 bits de ARM fue introducida en el kernel Linux desde la versión 3.7 y su soporte se ha ido mejorando en cada lanzamiento nuevo del kernel. Aunque aún no se esperan dispositivos en el mercado con chips ARM 64 bits al menos hasta el año que viene, en Linux ya hace algún tiempo esta soportado.
Lo nuevo en el kernel 3.10 para la arquitectura 64 bits en ARM es el soporte para la versión de 64 bits de su versátil y expreso SoC, soporte básico para multi-cluster, soporte inicial para printk, funciones optimizadas del núcleo y la inicialización automática de irqchip y clock a través del DeviceTree.
Para conocer mas detalles, deberás remitirte al anuncio oficial.