Он смотрел так... Пуск-правой по Компьютеру-Свойства и там в разделе тип системы сказано, что 64 битная... ну да ладно, значит буду ждать патча.