After the release of the Linux Kernel 3.10, the development of the next kernel, Kernel 3.11 has just started and Canonical hopes to use it on Ubuntu 13.10 Saucy Salamander.
But the Linux Kernel 3.11 also brings good news for the ARM architecture computers. Kernel 3.11 will bring KVM and Xen virtualization support for the 64 bit ARM AArch64 hardware. For now, Xen and KVM work only on 32 bit ARM devices. More information can be found on the mailing lists.