[Bug 15748] BUG: unable to handle kernel NULL pointer dereference at 0000000000000028