Eu acredito que você precisa de uma "máquina de técnico" de 64 bits para trabalhar com sistemas operacionais de 64 ou 32 bits. Eu não acho que você pode trabalhar com uma versão de 64 bits em uma máquina de 32 bits do técnico. Quando você aponta o SIM para um arquivo ISO válido, demora um tempo para criar esse arquivo de catálogo, mas é impossível prosseguir sem ele.