#include CONFIG_ARM=y CONFIG_ARCH_K3=y CONFIG_SOC_K3_J784S4=y CONFIG_TARGET_J742S2_R5_EVM=y CONFIG_SPL_PCI_ENDPOINT=n CONFIG_SPL_PCI_DFU=n CONFIG_MULTIPLEXER=n CONFIG_SPL_MUX_MMIO=n CONFIG_SPL_PHY=n CONFIG_DEFAULT_DEVICE_TREE="k3-j742s2-r5-evm" CONFIG_SPL_OF_LIST="k3-j742s2-r5-evm"