On Tue, 2 Jun 2020, Alastair Basden wrote: > Thanks - the problem turned out to be the kernel-devel module. Just what was wrong with kernel-devel? I am having the same problem, and there is nothing amiss that I can spot. Thanks. Steve