Fixed kernel repo