Да, i7 может запускать как 32-битную, так и 64-битную версии. Это просто вопрос, который нужно скачать: получить i386, если вы хотите 32-битную ОС, и получить amd64, если вы хотите 64 бит.