Com essa configuração aí é possível rodar o sistema em 64-bit folgado. Aliás, qual o motivo de usar 32-bit num Core i7? Fica ruim mesmo.
E mais: instalou pelo WUBI? Se sim, apaga e reinstala usando o instalador legítimo, iniciando pelo boot. E pra fazer dual boot, não esquece de marcar a opção "Instalar ao lado do Windows".
Caro Eliseu, muito obrigado mesmo por sua ajuda e esclarecimentos. Vou fazer isso sim, apagar tudo e não usar mais o WUBI. Mas ele eu peguei aqui no fórum mesmo. Onde eu pegaria um legítimo, como disse você?
Estava pensando em formatar meu HD, instalar o Linux primeiro, normalmente, e depois o Windows 7, pois não uso o Windows 8. "Não gostei da versão 8".
Quanto ao dual boot, achei um programinha compatível com o linux, ou seja, reconhece o Linux e faz a alteração de acordo com minha necessidade:
EasyBCD:
E me desculpe pelo desabafo ou algo contrário no dizer.