[PATCH 5.10 010/173] KVM: Optimize kvm_make_vcpus_request_mask() a bit