When I resume my laptop (ThinkPad X31) from a APM sleep, it crashes on
resume.

On resume, it prints on the console:
        
        arch/i396/kernel/time.c:178: spin_lock(arch/i386/kernel/time.c:c0347f28) is already locked by arch/i386/kernel/time.c/310
        arch/i386/kernel/time.c:317 spin_unlock(arch/i386/kernel/time.c:c0347f28) is not locked
        PCI: Enabling device 0000:00:1f.5 (0000 -> 0003)
        
and is then completely locked up. c0347f28 maps to rtc_lock.

.config & lspci attached

	J