Temporary hack for testing: reset kvm_vcpu_dirty after cpu_synchronize_state