[U-Boot] [PATCH] mx51evk: Make use of the i.MX GPIO API