android: add tools for custom kernel identification