Пока не нашёл в чём дело. Оболочка у Кайла в последней версии значительно продвинулась в сторону удобства, так что есть вероятность, что скоро догонят в этом смысле IAR. По качеству компиляции есть замечания - в последней версии Кайла появились неприятные недопонимания volatile и __forceinline.