Driver_irql_not_less_or_equal

[Porunpantallazo]

Holas! soy nuevo por acá pero esque ando buscando solución pra este problema, la verdad no tengo mucha idea de como funciona las computadoreas por dentro. soy un usuario normalito, lo uso poco y más que todo por cosas de trabajo, pero ese no es el caso. a mi novia le ha pasado este error, y no entiendo casi nada de lo que escriben, de drivers y cosas en serio., MI PREGUNTA ES: "¿SI FORMATEO, YA ESTARÍA SOLUCIONADO?"