Unfortunately this, in the end, did not fix the problem. I had a few days of piece, then a new BSOD with the same filename happened.
There is no updated drivers for my network card. 20/03/2013 is the date of my driver, now I did reinstall them (which caused its own problems, but I fixed those)...