How can I make these LEDs work on stm32mp157-dk2 board? Ethernet interface is working fine, but both link and activity LEDs are always OFF. I need to have a visual confirmation that Ethernet has some TX/RX activity and thus need these LEDs working. A...