ARM: mach-ux500: use SGI0 to wake up the other core