x86 smp: modify send_IPI_mask interface to accept cpumask_t pointers