GCC update to better support the s12x core