I was going through the "Modify, rebuild and reload the Linux® kernel" section of the getting started guide for the STM32MP157x-DK2 board:https://wiki.st.com/stm32mpu/wiki/Getting_started/STM32MP1_boards/STM32MP157x-DK2/Develop_on_Arm%C2%AE_Cortex%C2...