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