Если пишут ARM-овцы, то они пишут про компилятор ARM RealView. А там таких типов нет. Но есть свои мощные intrinsic-и и еще сопроцессоры. Поэтому они как бы могут и положить на uint_fast16_t. Что они и сделали присвоив всем uint_fastXX_t тип unsigned int.