[Vm-dev] [commit][3116] More ARM linux loose ends.