IA MCU psABI support: GCC changes