No matches were found for subject:"Bug#813876\: \[linux\-image\-armmp\] Unable to handle kernel NULL pointer dereference"