kern/47312: ACPI crash on Thinkpad T61

[christos%netbsd.org@localhost]

>Number:         47312
>Category:       kern
>Synopsis:       ACPI crash on Thinkpad T61
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Dec 11 16:10:00 +0000 2012
>Originator:     Christos Zoulas
>Release:        NetBSD 6.99.15
>Organization:
        Bored Brains
>Environment:
NetBSD T61 6.99.15 NetBSD 6.99.15 (T61) #0: Sun Dec  9 08:14:12 EST 2012  
ljt@T61:/s/NetBSD/obj/sys/arch/amd64/compile/T61 amd64
Machine: amd64
>Description:
Not on every boot, but many times the kernel hangs after printing:

ACPI Warning: 32/64X length mismatch in Gpe1Block: 0/32 (20110623/tbfadt-556)
ACPI Warning: Optional field Gpe1Block has zero address or length: 
0x000000000000102C/0x0 (20110623/tbfatd-586)
>How-To-Repeat:
Reboot a few times.
>Fix:
Don't know; this is a known issue with Thinkpads, but linux seems to be able
to work around it?