можно ли использовать эти карты в навител?

Если под исправлением имеется в виду редактирование карт в ОСМ — то это нужное и полезное занятие. Дальше — сложнее. Для экспорта есть конвертер в формат *.nm2, который работает в Навителе версий 3.5 и условно до 5.0.3. Есть и готовые, регулярно обновляемые свежие карты России и не самые свежие других стран. Пишут, что можно использовать эти карты в более новых версиях, предварительно проиндексировав в более старых, но при этом карты всё равно остаются не полнофункциональными. Использование карт при этом само по себе законно.