Update cpu_ipi.c