add -mpatmos-swsc-spm-size option with 32 default