странно, если в МК есть несколько видов SRAM, то Кейл об этом
знает. Если ему связно сказать - что за МК. К примеру, у меня
STM32L476, там SRAM1 и SRAM2 - 
И к слову. В SRAM2 я именно так размещаю массивы:
__ALIGN_BEGIN __attribute__((section(".SRAM2"))) uint8_t BUFDISK[8448] __ALIGN_END = {0};