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