system/cpu: deadlock in pause_all_vcpus()