Use my kernel repo