Отбой.
Так и не понял, в чем был косяк, но сегодня код прекрасно откомпилировался.
Тем не менее, Keil для этих команд синтаксис так и не подсвечивает:

PS.
Вау, писаю от счастья, одна команда заменяет четыре!
Для будущих грабленаступателей:
хотя USAT заявлена как беззнаковая, исходный операнд считается знаковым! Т.е. число, старший бит которого =1, будет обрезаться в 0. Например 0xFFFFFFFF (т.е. -1) после операции станет 0.