We can obtain it from mock environment or koji (koji list-tagged --inherit f26 --latest kernel) once we have the notion of distribution (see #2). This is especially useful in cases of building kmods for the distributions that haven't been released yet and have kernel package version changing frequently.