RE: [PATCH] stm32mp1: add 800 MHz profile support