Re: [PATCH 1/2] stm32mp: update uart number in trace of serial device not found