-CONFIG_SYS_EXTRA_OPTIONS=SYS_CPU_CLK=800,NR_DRAM_BANKS=2
+CONFIG_SYS_EXTRA_OPTIONS="SYS_CPU_CLK=800"
CONFIG_ARM=y
CONFIG_TARGET_TX51=y
+CONFIG_TARGET_TX51_8XX1_2=y
+CONFIG_TX51_UBOOT=y
+CONFIG_CMD_MII=y
+CONFIG_CMD_DHCP=y
+CONFIG_CMD_PING=y
+CONFIG_BOOTP_SUBNETMASK=y
+CONFIG_BOOTP_GATEWAY=y
+CONFIG_BOOTP_DNS=y
+CONFIG_MMC=y
+CONFIG_FSL_ESDHC=y
+CONFIG_FSL_USDHC=y
+CONFIG_LCD=y
+CONFIG_NET=y
+CONFIG_NETDEVICES=y
+CONFIG_FEC_MXC=y
+CONFIG_DOS_PARTITION=y
+CONFIG_ENV_IS_IN_NAND=y