Es la primera vez que colaboro en este foro pero se hará lo que se pueda...
¿Habéis probado a cambiar el "Default Kernel..." (Disculpad por no poner el texto exacto pero ahora no tengo mi negrita a mano) en el recovery (encendiendo la consola con el gatillo R pulsado)?
Espero que os sirva de ayuda, saludos, YeRaY