mx53evk: Configure the pins as GPIOs prior to using gpio_get_value