repo: fixes for alternative kernel name path