s390x/kvm: cleanup calls to cpu_synchronize_state()