1CONFIG_SPL=y
2CONFIG_SYS_EXTRA_OPTIONS="FLASHCARD"
3+S:CONFIG_ARM=y
4+S:CONFIG_OMAP34XX=y
5+S:CONFIG_TARGET_TRICORDER=y
6CONFIG_DM=n
7CONFIG_DM_SERIAL=n
8CONFIG_DM_GPIO=n
9