На свой страх и риск можно сделать еще так:
Открыть девайс- дескрипшн файл и найти в нем секцию
Код:
<ts:value>IoStandard, 3.4.0.0 (System)</ts:value>
Поменять 3.4.0.0 на соответствующие цифры более новой библиотеки. сохранить и переустановить устройство в репозитории. После этого устройство будет искать (и найдет) новую библиотеку.
Работоспособность этого варианта зависит от многих факторов независящих от конечного пользователя. но для большинства библиотек - это сработает (я так на модусе делаю).
PS: Рекомендую перед исправлением файла сохранять его оригинал, дабы откатиться в случае неудачной правки.