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