CONFIG_SYS_EXTRA_OPTIONS="SYS_CPU_CLK=800"
CONFIG_ARM=y
+CONFIG_ARCH_MX5=y
CONFIG_TARGET_TX51=y
CONFIG_TARGET_TX51_8XX1_2=y
CONFIG_TX51_UBOOT_NOENV=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