[PATCH 4.9 08/24] ARM: vexpress/spc: Avoid negative array index when !SMP