Possible to reuse console UART as regular Serial port?

Hi,

I did the following with Arch Max board:

// in mbed_app.json
"ARCH_MAX": {
            "target.lse_available": true,
            "target.stdio_uart_tx": "PC_6",
            "target.stdio_uart_rx": "PC_7"
        }
// In application code:
RawSerial cmdPort(PC_6, PC_7, 115200);

cmdPort and console output for debug information work well simultaneous, with some care for mutex.

However, such setup seems not working with NUCLEO_F429ZI board.

Did I miss anything something? Please advise. Thanks.