Hola a todos:
Me respondo a mí mismo. Había montado mal el ISO. El tema es que, en Windows, solía abrirlo con Winrar, lo extraía en el escritorio, y así me funcionaba. Pero parece que en linux, abrir un ISO con el gestor de archivador no es suficiente.
Una vez montado el ISO correctamente...