Print a device-specific kernel probs message

Change-Id: I7f37da92e0ea2e5628d9892f37119381e2f29f13