Re: [U-Boot] [PATCH 02/10] exynos: pinmux: fix the gpio names for exynos4x12 mmc