cpumask: clean up summit's send_IPI functions