ARM: dts: exynos: adjust node names to DT spec in Exynos542x boards