Apr 16 11:23:06 dave kernel: Unable to handle kernel paging request at virtual address 00020024 
Apr 16 11:23:06 dave kernel: current->tss.cr3 = 00101000, %%cr3 = 00101000 
Apr 16 11:23:06 dave kernel: *pde = 00000000 
Apr 16 11:23:06 dave kernel: Oops: 0000 
Apr 16 11:23:06 dave kernel: CPU:    0 
Apr 16 11:23:06 dave kernel: EIP:    0010:[locks_remove_posix+43/140] 
Apr 16 11:23:06 dave kernel: EFLAGS: 00010206 
Apr 16 11:23:06 dave kernel: eax: c3e6a6d0   ebx: c03e5c70   ecx: c3e6a660   edx: c03e5c70 
Apr 16 11:23:06 dave kernel: esi: 00020000   edi: c14ff5d0   ebp: c3e6a6d0   esp: c142ff30 
Apr 16 11:23:06 dave kernel: ds: 0018   es: 0018   ss: 0018 
Apr 16 11:23:06 dave kernel: Process ppp-watch (pid: 7528, process nr: 81, stackpage=c142f000) 
Apr 16 11:23:06 dave kernel: Stack: c14ff5d0 00000001 c3e6a6d0 c3e6a660 00000001 c011c9a1 00000019 00000032  
Apr 16 11:23:06 dave kernel:        c011ca40 00000000 bfffc000 c15147c0 00000286 c15147c0 00001d00 0000001d  
Apr 16 11:23:06 dave kernel:        bffffd68 c151483c 00001d00 c012768a c03e5c70 c203a280 00100047 00000001  
Apr 16 11:23:06 dave kernel: Call Trace: [check_pgt_cache+17/24] [clear_page_tables+152/160] [filp_close+70/88] [do_exit+293/624] [sys_exit+14/16] [system_call+52/56]  
Apr 16 11:23:06 dave kernel: Code: f6 46 24 01 74 49 8b 4c 24 5c 39 4e 14 75 40 8b 4c 24 58 8b