I am confused about the TEXT_BASE define in the config.mk file. Should this be the address of where the loader is in flash or where it should go in SDRAM?