fix kernel repo