ifdef CONFIG_NAND_SPL
TEXT_BASE = 0x810c0000
else
TEXT_BASE = 0x81200000
endif