[PATCH kernel-4.19 072/280] arm64: dts: exynos: correct GIC CPU interfaces address range on Exynos7