بله همینطور که دوست عزیزمون گفتن سیستم عامل رو 64 بیت تعریف کردید پس باید iso هم 64 بیت باشه