Hey, I'm following the Getting started tutorial and have some troubles at the chapter "Modify, rebuild and reload the Linux kernel":https://wiki.st.com/stm32mpu/wiki/Getting_started/STM32MP1_boards/STM32MP157x-DK2/Develop_on_Arm%C2%AE_Cortex%C2%AE-A7...