[U-Boot] [PATCH 4/4] EXYNOS: Update pinmux to use gpio numbering