A standard QEMU tree with KVM for ARM patches and the VCPU Hotplug feature