Lösung: Das Setup-Programm von VMware sieht keine Möglichkeit für diesen Installationswunsch vor. Nun kann es ja aber durchaus sinnvoll sein, 32-Bit-Version nutzen zu wollen.
Das Problem lässt sich umgehen, indem man eine virtuelle Maschine anlegt, aber das Gastbetriebssystem noch nicht installiert. Der VMX-Konfigurationsdatei muss man vor dem Setup die folgende Zeile hinzufügen:
monitor_control.disable_longmode=1
Dann sollte die Installation als 32-Bit-Version funktionieren.
Produkte: Der Trick funktioniert mit allen aktuellen Versionen von VMware Workstation. (mje)