On 29/01/2019 15:43, Andrew C Aitchison wrote:
> On Tue, 29 Jan 2019, S. Vergani wrote:
> 
>> Dear Andrew,
>>
>> uname -r reports "3.10.0-957.1.3.el7.x86_64".
> 
> Hmm. 
> https://urldefense.proofpoint.com/v2/url?u=https-3A__access.redhat.com_articles_3078&d=DwIBAg&c=gRgGjJ3BkIsb5y6s49QqsA&r=gd8BzeSQcySVxr0gDWSEbN-P-pgDXkdyCtaMqdCgPPdW1cyL5RIpaIYrCn8C5x2A&m=AbMRfZpAeBgc2mCkl-KKhLfPwq-pKDQ3Kmztw69QJQ8&s=6Y0htdEMZXgU1hX9ivQzJnOY_WZIHsSGYEjzWJaki4s&e= 
> suggests that
> that is an SL7.6 kernel.
> I am not so sure that my guess was right after all.

It looked plausible to me.  Reminded me that a family box with dual-boot 
kubuntu/SL7 appears to update the SL kernel but boots an older one.  The 
box is not much used and I haven't recently tried to fix it - so not 
much help, I'm afraid.  But Stefano's is the latest standard SL7 kernel 
that I have here.

John P
> 
>> What should I search/do in /boot/grub2?
> 
> I'm not really sure.