generic-ipi: fix the smp_mb() placement