Předpokládám, že stále jde o 32bit variantu.
Uvítal bych možnost, že by přímo v boot menu bylo možné zvolit rovnou alternativní instalaci 64bitové verze, přece jen výkonový rozdíl by měl být podstatný až propastrný. I když některé aplikace ještě pro 64bitů nebudou zkompilované - což zatím nevadí, pokud můžou běžet 32bit verze s patřičnými knihovnami (pro mně důležitý například prohlížeč Vivaldi).