Vertexdecoder "double": fix for x86 and very minor optimization for arm.