CONFIG_SYS_EXTRA_OPTIONS=SYS_CPU_CLK=800,NR_DRAM_BANKS=1
CONFIG_ARM=y
CONFIG_TARGET_TX51=y