Martin,
Please see this thread:
RTCS does not work when running in External Memory
>>If MQX is running from SRAM than SRAM_POOL is the same as system pool.
This is a faulty assumption because it does not handle the run-time case where the system pool starts in internal memory but is then extended (via _mem_extend()) with external cache-able memory pool at a higher address. All functions that subsequently call expecting to get non-cachable memory instead get cachable memory.
Case scenario, in user main, call _mem_extend then try to initialize RTCS (and Ethernet). The Ethernet buffers get allocated to external memory.
I was looking for an easy way to deconvolute the BSPCFG_HAS_SRAM_POOL && BSPCFG_ENET_SRAM_BUF code dependencies, but don't have a quick answer.
PMT