ifdef CONFIG_NAND_SPL
CONFIG_SYS_TEXT_BASE = 0x40000000
else
CONFIG_SYS_TEXT_BASE = 0x0f800000
endif