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