AWR1843BOOST: How to turn on DS3 LED on AWR1843Boost Board?

I am testing AWR1843Boost board. I want to turn on the LED DS3 (GPIO_2). 

Below is the code for GPIO_2. But the LED DS3 doesn't on.

Pinmux_Set_OverrideCtrl(SOC_XWR18XX_PINK13_PADAZ, PINMUX_OUTEN_RETAIN_HW_CTRL, PINMUX_INPEN_RETAIN_HW_CTRL);
Pinmux_Set_FuncSel(SOC_XWR18XX_PINK13_PADAZ, SOC_XWR18XX_PINK13_PADAZ_GPIO_2);

/**********************************************************************
 * Setup the DS3 LED on the EVM connected to GPIO_2
 **********************************************************************/
GPIO_setConfig (SOC_XWR18XX_GPIO_2, GPIO_CFG_OUTPUT);
GPIO_write(SOC_XWR18XX_GPIO_2, 1U);

Can you please check what is the issue?

Kind regards