Driver verifier causes reboot on boot?

This is new information and useful.

==================================================

Dump File         : 010112-23166-01.dmp

Crash Time        : 1/1/2012 7:10:34 PM

Bug Check String  : PAGE_FAULT_BEYOND_END_OF_ALLOCATION

Bug Check Code    : 0x000000cd

Parameter 1       : fffff980`0981f000

Parameter 2       : 00000000`00000000

Parameter 3       : fffff800`02e9c5c4

Parameter 4       : 00000000`00000000

Caused By Driver  : wmiacpi.sys

Caused By Address : wmiacpi.sys+3afe000

File Description  : 

Product Name      : 

Company           : 

File Version      : 

Processor         : x64

Crash Address     : ntoskrnl.exe+7cc40

Stack Address 1   : 

Stack Address 2   : 

Stack Address 3   : 

Computer Name     : 

Full Path         : C:\Windows\Minidump\010112-23166-01.dmp

Processors Count  : 8

Major Version     : 15

Minor Version     : 7601

Dump File Size    : 383,570

==================================================

==================================================

Dump File         : 010112-18954-01.dmp

Crash Time        : 1/1/2012 7:11:23 PM

Bug Check String  : PAGE_FAULT_BEYOND_END_OF_ALLOCATION

Bug Check Code    : 0x000000cd

Parameter 1       : fffff980`101a5000

Parameter 2       : 00000000`00000000

Parameter 3       : fffff800`02e9a5c4

Parameter 4       : 00000000`00000000

Caused By Driver  : ntoskrnl.exe

Caused By Address : ntoskrnl.exe+7cc40

File Description  : NT Kernel & System

Product Name      : Microsoft® Windows® Operating System

Company           : Microsoft Corporation

File Version      : 6.1.7601.17640 (win7sp1_gdr.110622-1506)

Processor         : x64

Crash Address     : ntoskrnl.exe+7cc40

Stack Address 1   : 

Stack Address 2   : 

Stack Address 3   : 

Computer Name     : 

Full Path         : C:\Windows\Minidump\010112-18954-01.dmp

Processors Count  : 8

Major Version     : 15

Minor Version     : 7601

Dump File Size    : 383,570

==================================================