Re: [PATCH] stm32mp1: fix reference for STMicroelectronics