manifest: fix derp with flo-kernel repo