[PATCH 5.15 016/145] KVM: Optimize kvm_make_vcpus_request_mask() a bit