-CONFIG_SYS_EXTRA_OPTIONS=SYS_CPU_CLK=800,NR_DRAM_BANKS=1
+CONFIG_SYS_EXTRA_OPTIONS="SYS_CPU_CLK=800"
CONFIG_ARM=y
CONFIG_TARGET_TX51=y
CONFIG_TARGET_TX51_8XX0=y
CONFIG_FEC_MXC=y
CONFIG_DOS_PARTITION=y
CONFIG_ENV_IS_IN_NAND=y
+CONFIG_SYS_PROMPT="TX51 U-Boot > "