Add in kernel repos for inline building