1CONFIG_SPL=y 2CONFIG_ARM=y 3CONFIG_ARCH_SOCFPGA=y 4CONFIG_TARGET_SOCFPGA_ARRIA5=y 5CONFIG_OF_CONTROL=y 6CONFIG_DEFAULT_DEVICE_TREE="socfpga_arria5_socdk" 7