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