Intermittent BSOD only when shutting down - wdf01000.sys

[CYPER]

So, there are 3 Lenovo S30 desktops, which BSOD only during the shutdown sequence and NOT every time. Today I tried one of them and it did 3 successful shutdowns, but on the 4th one I got a BSOD.
Just to make it clear these BSOD only happen during shutdown and not during normal work.

Please find a screenshot of the BSOD + the zip file from DM Log Collector attached.
If you need any more information please let me know or if needed I can upload the big memory.dmp, which is 1.3GB

Problem signature:
  Problem Event Name:	BlueScreen
  OS Version:	6.1.7601.2.1.0.256.4
  Locale ID:	2057

Additional information about the problem:
  BCCode:	1000007e
  BCP1:	FFFFFFFFC0000005
  BCP2:	FFFFF88000F7DCCE
  BCP3:	FFFFF8800FD80308
  BCP4:	FFFFF8800FD7FB60
  OS Version:	6_1_7601
  Service Pack:	1_0
  Product:	256_1

Files that help describe the problem:
  C:\Windows\Minidump\111715-21543-01.dmp
  C:\Users\#local\AppData\Local\Temp\WER-447816-0.sysdata.xml

Read our privacy statement online:
  http://go.microsoft.com/fwlink/?linkid=104288&clcid=0x0409

If the online privacy statement is not available, please read our privacy statement offline:
  C:\WINDOWS\system32\en-US\erofflps.txt

 

[CYPER]

Anyone please?

 

[Golden]

Is Windows completely updated?

 

[CYPER]

Yes it is.

 

[CYPER]

Help please

 

[Golden]

*******************************************************************************
*                                                                             *
*                        Bugcheck Analysis                                    *
*                                                                             *
*******************************************************************************

Use !analyze -v to get detailed debugging information.

BugCheck 1000007E, {ffffffffc0000005, fffff88000f7dcce, fffff8800fd80308, fffff8800fd7fb60}

*** WARNING: Unable to verify timestamp for TeeDriverx64.sys
*** ERROR: Module load completed but symbols could not be loaded for TeeDriverx64.sys
Probably caused by : [B][COLOR="red"]TeeDriverx64.sys [/COLOR][/B]( TeeDriverx64+fbcd )

Followup: MachineOwner
---------

3: kd> lmvm teedriverx64
start             end                 module name
fffff880`12c6a000 fffff880`12c86000   TeeDriverx64 T (no symbols)           
    Loaded symbol image file: TeeDriverx64.sys
    Image path: \SystemRoot\system32\DRIVERS\TeeDriverx64.sys
    Image name: TeeDriverx64.sys
    Timestamp:        Tue [B][COLOR="Red"]Aug 20[/COLOR][/B] 02:53:31 [B][COLOR="red"]2013[/COLOR][/B] (52125493)
    CheckSum:         000210A2
    ImageSize:        0001C000
    Translations:     0000.04b0 0000.04e4 0409.04b0 0409.04e4

The Intel management interface driver is more than 2 years old, and is flagged in every single .dmp file. Update it here:
https://downloadcenter.intel.com/

I suggest checking for and updating all the drivers on this system.