[Bug 1082308] New: BUG: unable to handle kernel NULL pointer dereference at 0000000000000040