Customer board's part number is AM3517ZCN, as customer have not led the UART3 pins(P1 --- UART3_RX_IRRX/GPIO_166; P2 --- UART3_TX_IRTX/GPIO_166) for UART3 serial debug which used by XLDR and eboot, whether the F25、F24 pins(F25 --- USB0_DP/UART3_RX_IRRX; F24 --- USB0_DM/UART3_TX_IRTX) could replace them for UART3 serial debug? Thanks!