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