Change vcpu, maxvcpu, vcpusockets, vcpucores and vcputhreads from
parameter to property. Although I am not really sure that the
vcpu* properties will work, as I am pretty sure you can not change
the topology independently from the vcpu amount. And at the moment
this is exactly what happens when changing these values.