Comment 17 for bug 1825499

OK, installing old kernels seems to be beyond me at the moment, trying to install 4.20 & 4.19 following https://seagullbird.xyz/posts/how-to-install-an-older-kernel/ or some askubuntu results so far leaves me with non-booting kernels. Is there a reliable beginners guide somewhere I can follow?