For a finite type $\mathbb{Z}$-algebra $A$ is the set of primes $p$ such that $\mathrm{Hom}(A\otimes \mathbb{F}_p, \mathbb{F}_p)=\emptyset$ always finite or cofinite?