# stack is allocated below CONFIG_SYS_TEXT_BASE
-ifeq ($(CONFIG_SOC_MX6SX)$(CONFIG_SOC_MX6SL)$(CONFIG_SOC_MX6UL),)
+ifeq ($(CONFIG_SOC_MX6SX)$(CONFIG_SOC_MX6SL)$(CONFIG_BOARD_TX6UL),)
CONFIG_SYS_TEXT_BASE := 0x100ff000
else
CONFIG_SYS_TEXT_BASE := 0x800ff000