Al arrancar me decía que las SGX estaban desactivadas en la BIOS. No había tocado yo nada ahí, pero bueno, entré y las activé.
No terminaba de arrancar bien.
Luego fui al modo recovery, he limpiado un poco todo y parece que esto está perfect otra vez.
Qué zuto