Don’t bother, it’s perfectly normal,
The only place where you should see Windows 32 bit displayed on a Win64 install is for the external tools plugins of System Workbench for STM32. This is due to the fact that:
- The ARM compiler is the one provided by Linaro and they only provide a 32-bit version; embedded programs are indeed rarely big enough to benefit from a 64-bit compiler
- For the same reason other external tools (like make, shell) are only installed in 32-bit versions as 64-bit would not bring any advantage.
- Regarding OpenOCD, we generate our own executable, but again, it was not relevant to have a 64-bit version as the 32-bit fits the job perfectly.
Generating 64-bit versions of the tools will be quite a lot of work with no visible advantage for the users so, as the 32-bit version works well, it is used on 32-bit ad 64-bit Windows systems.
Note that on Linux (as there is very few 32-bit Linux boxes out there) we only provide the 64-bit evrsion...