x86, smp: remove mach_ipi.h