Remove driver model CONFIGs from the board config headers and use Kconfig instead.
Signed-off-by: Simon Glass
CONFIG_SPL=y CONFIG_SYS_EXTRA_OPTIONS="FLASHCARD" +S:CONFIG_ARM=y +S:CONFIG_OMAP34XX=y +S:CONFIG_TARGET_TRICORDER=y CONFIG_DM=n CONFIG_DM_SERIAL=n CONFIG_DM_GPIO=n
