Kernel Group Holdings Inc.