message: use kernel stubs
diff: @@ -214,29 +214,11 @@ GKO_STUB_INDEX_TYPE(GKO_DECLARE_INDEX_SET_LOCAL_TO_GLOBAL_KERNEL);
  namespace partition {
  -GKO_PARTITION_COUNT_RANGES
  -GKO_NOT_COMPILED(GKO_HOOK_MODULE);
  -
  -template <typename LocalIndexType>
  -GKO_DECLARE_PARTITION_BUILD_FROM_CONTIGUOUS(LocalIndexType)
  -GKO_NOT_COMPILED(GKO_HOOK_MODULE);
  -GKO_INSTANTIATE_FOR_EACH_INDEX_TYPE(
  - GKO_DECLARE_PARTITION_BUILD_FROM_CONTIGUOUS);
  -
  -template <typename LocalIndexType>
  -GKO_DECLARE_PARTITION_BUILD_FROM_MAPPING(LocalIndexType)
  -GKO_NOT_COMPILED(GKO_HOOK_MODULE);
  -GKO_INSTANTIATE_FOR_EACH_INDEX_TYPE(GKO_DECLARE_PARTITION_BUILD_FROM_MAPPING);
  -
  -template <typename LocalIndexType>
  -GKO_DECLARE_PARTITION_BUILD_RANKS(LocalIndexType)
  -GKO_NOT_COMPILED(GKO_HOOK_MODULE);
  -GKO_INSTANTIATE_FOR_EACH_INDEX_TYPE(GKO_DECLARE_PARTITION_BUILD_RANKS);
  -
  -template <typename LocalIndexType>
  -GKO_DECLARE_PARTITION_IS_ORDERED(LocalIndexType)
  -GKO_NOT_COMPILED(GKO_HOOK_MODULE);
  -GKO_INSTANTIATE_FOR_EACH_INDEX_TYPE(GKO_DECLARE_PARTITION_IS_ORDERED);
  +GKO_STUB(GKO_PARTITION_COUNT_RANGES);
  +GKO_STUB_INDEX_TYPE(GKO_DECLARE_PARTITION_BUILD_FROM_CONTIGUOUS);
  +GKO_STUB_INDEX_TYPE(GKO_DECLARE_PARTITION_BUILD_FROM_MAPPING);
  +GKO_STUB_INDEX_TYPE(GKO_DECLARE_PARTITION_BUILD_RANKS);
  +GKO_STUB_INDEX_TYPE(GKO_DECLARE_PARTITION_IS_ORDERED);
  } // namespace partition
  