[PATCH] stm32mp: fix compilation issue with DEBUG_UART