Re: [PATCH 1/2] board: ti: am57xx: use GPIO_TO_PIN() to define GPIO number