Re: [PATCH] configs: stm32f746-disco: remove a useless comment