got a blue screen again in the uploading process...
also, I tried simply deleting athrx.sys manually and then installing the driver according to the steps you listed. Again that didn't work :/
Also, I am unable to upload the .dmp. I've tried two different computers. Maybe my .dmp file is bad now, or maybe the website is having some issues.
I'll try again soon!