[IOT-2461] Fix acl2 reverting