[Arm-arch] [PATCH] GIC patch for S2500 solve the problem 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 can't be handled by local socket cpus, then OS can't bring up. Tested-by:wangyinfeng@phytium.com.cn Signed-off-by:chenbaozi@phytium.com.cn Signed-off-by:liwencheng@phytium.com.cn