Set new default ISO version for Gentoo