A standard Linux kernel tree with KVM for ARM patches