support for building against a custom kernel