VF50 Production programming

I am trying to set up production programming. This page suggests I can use update tool:
http://developer.toradex.com/knowledge-base/production-programming-for-colibri-vfxx-modules
However my device (v1.2a) has no update tool. The webpage for update tool only gives instructions on use for the PXA and Tigra modules.

Depending on the version of OS. We implemented update tool in version 1.2. If your OS is older it does not support update tool and you have update your images first.