cc9cb0a71725 ("sched, smp: Trace IPIs sent via send_call_function_single_ipi()")