x86: don't send an IPI to the empty set of CPU's