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