Manifest: Added repo for GKernel