Fixup manta kernel repo