[U-Boot] [PATCH v7 10/13] exynos: Tidy up GPIO headers