More robust kernel check.

Fixes #92