Check kernel