Workaround for qemu failing with: kvm_arm_vcpu_init failed: invalid argument. Related: https://bugs.linaro.org/show_bug.cgi?id=1443