core: use kernel name defines now that version date is not in the filenames.

Ideally, even this should not be needed, and specifying a kernel name string
should search for the appropriate file in kernel-path.