[Arm-arch] [PATCH] GIC:S2500 GIC suppports that SPI and PPI interrupt only be handled by local socket cpus. For example ,if a interrupt of hard disk generates on one socket, but the interrupt is assigned to other socket cpus, then OS can't bring up.