[PATCH kernel-4.19 120/337] arm64: dts: exynos: Correct psci compatible used on Exynos7