Revert xenv version for devARM

4 jobs for master in 5 minutes and 52 seconds (queued for 1 second)