Hola
este problema de DRIVER_IRQL_NOT_LESS_ OR_EQUAL' puede deberse a muchas causas pero una de ellas suele ser con la tarjeta ram, prueba a cambiarla de slot o mejor cambiala por una nueva a ver si te resuelve el problema, por cierto, porque formateaste el pc, qué problemas te daba?
Un saludo