We are changing the kernel configuration. According to the document (https://wiki.stmicroelectronics.cn/stm32mpu/wiki/Menuconfig_or_how_to_configure_kernel#Menuconfig_and_Developer_Package), when we reach the step of make ARCH=arm64 Image.gz LOADADDR=<loadaddr of kernel>, we need to know the kernel load address of STM32MP257. The relevant information is not clear.
