Hi,When I power on my STM32MP157A-DK1 board, ST-LINK LED (LD4) is always red. On my Linux system when I connect the board through ST-LINK micro usb port (CN11), it is only detected as 'STM32 Virtual ComPort', and not detected as StLink device. And wh...