Согласен, не чистый. Пробую собрать gcc version 7.2.1 20170904 (release) [ARM/embedded-7-branch
revision 255204] (GNU Tools for Arm Embedded Processors
7-2017-q4-major) не умеет. Похоже нужно что-то из боле новых версий компилятора.
Сцуки, developers.arm блюдут санкции. :-/