mahdi.dependencies: add kernel repo