Re: [OS-BUILD PATCH] redhat/docs: Add a description of kernel naming

[Patrick Talbert (via Email Bridge)]

From: Patrick Talbert on gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1779#note_9714...

I am resolving this for now. If need be the discussion can be carried on in
the mailing list or as a GL Issue here.