#include CONFIG_ARM=y CONFIG_ARCH_K3=y CONFIG_SOC_K3_AM625=y CONFIG_TARGET_AM625_R5_EVM=y CONFIG_ENV_SOURCE_FILE="am6254atl" CONFIG_K3_OPTEE_LOAD_ADDR=0x80080000 CONFIG_SPL_HAS_LOAD_FIT_ADDRESS=y CONFIG_SPL_LOAD_FIT_ADDRESS=0x82000000 CONFIG_DEFAULT_DEVICE_TREE="k3-am6254atl-r5-sk"