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