bsp/realview-pbx-a9: Fix SMP startup