Спасибо за наводку, решили проблему. Действительно, система стояла как 4AEC, но изменить это дозволяется только во время установки, на этапе ввода серийника, в старых билдах DVCrypt. Поставили билд 090601 и поверх него накатили последний найденный на сайте разработчика 240724, все работает.