I wrote:
As an afterthought I've just searched for and found this:
https://repos.fedorapeople.org/repos/thl/kernel-vanilla-mainline/fedora-33/SRPMS/
It provides
kernel-5.8.0-0.rc6.20200723gitd15be546031c.1.vanilla.1.fc33.src.rpm
UPDATE:
I installed the 5.8 kernel and was able to boot it, though many of my
packages including ctwm did not work (presumably because they need to be
rebuilt for that environment). However the main disappointment was that it
did not change the available screen resolutions: still only 1280x1024.
I wonder whether any other version of linux updates support for new cpus
more quickly?
