如何在RT1061上将Debug UART端口从UART1更改为UART4？

各位，
我添加了 [M5] GPIO_SD_B1_01 (UART4_RX)/[L5] GPIO_SD_B1_00 (UART4_TX) ，并修改了一些源代码如下，但它似乎不起作用。
我应该如何使用（SDK_2_12_1_EVK-MIMXRT1060）将RT1061上的调试UART端口从UART1更改为UART4？
pin_mux.c
void BOARD_InitPins(void) {
CLOCK_EnableClock(kCLOCK_Iomuxc);
IOMUXC_SetPinMux（IOMUXC_GPIO_AD_B0_09_GPIO1_IO09，0U）；
IOMUXC_SetPinMux（IOMUXC_GPIO_AD_B0_10_ARM_TRACE_SWO，0U）；
IOMUXC_SetPinMux（IOMUXC_GPIO_AD_B0_12_LPUART1_TX，0U）；
IOMUXC_SetPinMux（IOMUXC_GPIO_AD_B0_13_LPUART1_RX，0U）；
IOMUXC_SetPinMux（IOMUXC_GPIO_SD_B1_00_LPUART4_TX，0U）；
IOMUXC_SetPinMux（IOMUXC_GPIO_SD_B1_01_LPUART4_RX，0U）；
IOMUXC_GPR->GPR26 = ((IOMUXC_GPR->GPR26 &
(~(BOARD_INITPINS_IOMUXC_GPR_GPR26_GPIO_MUX1_GPIO_SEL_MASK)))
| IOMUXC_GPR_GPR26_GPIO_MUX1_GPIO_SEL(0x00U)
);
IOMUXC_SetPinConfig(IOMUXC_GPIO_AD_B0_09_GPIO1_IO09, 0x10B0U);
IOMUXC_SetPinConfig（IOMUXC_GPIO_AD_B0_10_ARM_TRACE_SWO，0x90B1U）；
IOMUXC_SetPinConfig（IOMUXC_GPIO_AD_B0_12_LPUART1_TX，0x10B0U）；
IOMUXC_SetPinConfig（IOMUXC_GPIO_AD_B0_13_LPUART1_RX，0x10B0U）；
IOMUXC_SetPinConfig（IOMUXC_GPIO_SD_B1_00_LPUART4_TX，0x10B0U）；
IOMUXC_SetPinConfig（IOMUXC_GPIO_SD_B1_01_LPUART4_RX，0x10B0U）；
}
博拉德.h:
/* 用于调试消息的 UART。*/
#define BOARD_DEBUG_UART_CLK_FREQ BOARD_DebugConsoleSrcFreq()
#define BOARD_DEBUG_UART_TYPE kSerialPort_Uart
#ifndef BOARD_DEBUG_UART_BASEADDR
#define BOARD_DEBUG_UART_BASEADDR (uint32_t) LPUART4 //LPUART1
#endif
#ifndef BOARD_DEBUG_UART_INSTANCE
#define BOARD_DEBUG_UART_INSTANCE 4U //1U
#endif
#ifndef BOARD_UART_IRQ
#define BOARD_UART_IRQ LPUART4_IRQn
#endif
#ifndef BOARD_UART_IRQ_HANDLER
#define BOARD_UART_IRQ_HANDLER LPUART4_IRQHandler //LPUART1_IRQHandler
#endif
#ifndef BOARD_DEBUG_UART_BAUDRATE
#define BOARD_DEBUG_UART_BAUDRATE (115200U)
#endif