Microsoft has posted a hotfix for TDX.sys bluescreen  

Computer Type: PC/Desktop
System Manufacturer/Model Number: Bruce ... somewhere in his 40's
OS: Windows 7 Ultimate 32bit SP1
CPU: Intel(R) Core(TM)2 Quad CPU @ 2.40GHz, 2400 MHz
Motherboard: INTEL/D975XBX2
Memory: 4 GB
Graphics Card: ATI Radeon HD 2600 Pro
Monitor(s) Displays: Samsung SyncMaster 914v
Screen Resolution: 1280 x 1024
Keyboard: Standard PS/2 Keyboard
Mouse: Microsoft PS/2 Mouse
PSU: Rocketfish 700 W
Case: G.Skill Gigabyte Chassis
Hard Drives: 2/500GB each ... ST3500630AS ATA Device. One is not connected
Internet Speed: DSL
Browser: IE 11
Antivirus: Avira Internet Security
Other Info: ATI HDMI Audio

System Manufacturer/Model Number: Dilithium Computers/Engineering (Myself) Star date 42.739285.5432.9
OS: Win7 Ultimate x64 on Desktop / Win7 Ultimate x86 on laptop / Win7 x86 Starter on Netbook
CPU: AMD Phenom 965 X4 3.4Ghz cpu Black Edition
Motherboard: Gigabyte 790XT
Memory: 12 Gb DDR3
Graphics Card: Nvidea Gforce GTX 470
Sound Card: Onboard Realtek hi-fi
Monitor(s) Displays: Lg 3D led 23"
Screen Resolution: 1920x1080
Keyboard: Logitech wireless K350
Mouse: Inferno gaming mouse
PSU: OCZ 700W GameXstream
Case: Artec 10000
Cooling: On board + many case fans
Hard Drives: Loads maxstore sata 1 & 2/ loads of partitions + 1Tb Hitachi sata 2. 256Gb Crucial ssd.
Internet Speed: Talk talk. 10Mb
Other Info: My PC was hand built with matchsticks. xbox 360 controller. Printers,fax.........