Remove some kernel repo