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