With that kernel, the result is:
BUG: unable to handle kernel paging request at ffffb4ff IP: [<c01f5902>] __destroy_inode+0x72/0x110 *pde = 00817067 *pte = 00000000 Oops: 0000 [#1] SMP last sysfs file: /sys/power/resume
With that kernel, the result is:
BUG: unable to handle kernel paging request at ffffb4ff inode+0x72/ 0x110
IP: [<c01f5902>] __destroy_
*pde = 00817067 *pte = 00000000
Oops: 0000 [#1] SMP
last sysfs file: /sys/power/resume