[Arm-arch] [PATCH 1/3] GIC patch for S2500 solve the problem that SPI and PPI interrupt only be handled by local socket cpus.