Hi all,I'm currently trying to change the CPU frequency of my STM32MP157C-DK2. - Without success...Here is what I've done.Change 'stm32mp15xa.dtsi' for Kernel and TF-Adiff --git a/arch/arm/boot/dts/stm32mp15xa.dtsi b/arch/arm/boot/dts/stm32mp15xa.dts...