Проверить не могу, а вопрос не поднимался. Но наверно где-то должно быть указано если версия Windows 64-битная.