Coverity-fixes in armsrc