x86: don't call '->send_IPI_mask()' with an empty mask