Quote Originally Posted by oletho
When booting the ISO I have the choice of 32bit, x64 and the software installer. The installer does not give me any choice of which binaries to install.

After installation it boots directly to x64 and fails.

Ole Thomsen
After it installs DSS should again present the 2 options (32, and 64bit).
You will need to choose the 32bit, before it can boot 64 by default.
Once booted 32bit, you can set to always boot 32bit from the console extended tools, in boot options.