ARM: OMAP: use SGI0 to wake secondary CPUs