default: use my kernel repo