Development tree for Cortex-A15?

[Jemma Jones]

Hi, I'm looking for the latest KVM-enabled developer version of the Linux kernel for ARM on the Versatile Express board with the Cortex-A15 CPU. 

I have pulled from these two trees

http://git.kernel.org/?p=linux/kernel/git/cmarinas/linux-arm-arch.git;a=summary
http://git.kernel.org/?p=linux/kernel/git/maz/arm-platforms.git;a=summary

But it seems the 2nd one is more up-to-date with KVM enablement while it doesn't have any support for the A15 VE board? And the 1st one doesn't support KVM on ARM with the ARMv7 virtualization extensions?

Any help would be appreciated.