ARM: 7485/1: EXYNOS: use SGI0 to wake secondary CPUs