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