Re: Question on documentation location for upgrading the kernel on a Fedora AWS cloud server