RTEMS: Improve GCC specification