1CONFIG_SPL=y 2+S:CONFIG_MICROBLAZE=y 3+S:CONFIG_TARGET_MICROBLAZE_GENERIC=y 4CONFIG_OF_CONTROL=y 5CONFIG_OF_EMBED=y 6CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic" 7