Hi!I've been running an embedded linux (built with Buildroot) on a STM32MP157F-DK2. I need to use both USART3 and UART7 ports to interact with other devices.I've used it flawlessly with only USART3 enabled in linux's device tree for months. Recently,...