Updates to resolve review comments.

modules/ROOT/pages/_partials/proc_booting-specific-kernel-default.adoc

@@ -1,16 +1,44 @@
 [[booting_specific_kernel_default]]
 == Setting an installed kernel to boot by default
 
-To set a specific installed kernel to boot by default, use the following command
+To set a specific installed kernel to boot by default, first check the kernels installed on the system.
 
 ----
-sudo grubby --set-default /boot/vmlinuz-n.nn.nn-nnn.fcnn.x86_64
+sudo ls /boot | grep vmlinuz
+----
+
+Identify the kernel to be set to boot by default.
+
+Use the following command to set the default kernel to boot:
+
+----
+sudo grubby --set-default /boot/vmlinuz-<version>.<release>.<arch>
+----
+
+Here is a sample output (on an `x84_64` architecture system):
+
+----
+sudo ls /boot | grep vmlinuz
+
+vmlinuz-0-rescue-c722f5f7d614446b99c39b846c2bb76c
+vmlinuz-5.12.18-200.fc33.x86_64
+vmlinuz-5.8.15-301.fc33.x86_64
+----
+
+If `vmlinuz-<version>.<release>.<arch>` is chosen to be set as the default, we issue the following command:
+
+----
+sudo grubby --set-default /boot/vmlinuz-<version>.<release>.<arch>
+----
+
+For the above scenario, the command will look like so
+
+----
+sudo grubby --set-default /boot/vmlinuz-5.12.18-200.fc33.x86_64
 ----
 
-where `vmlinuz-n.nn.nn-nnn.fcnn` is the version of installed kernel as can be found in the `/boot` directory.
 
 [[sect-references]]
 === References:
 
 * https://docs.fedoraproject.org/en-US/fedora/rawhide/system-administrators-guide/kernel-module-driver-configuration/Working_with_the_GRUB_2_Boot_Loader/[Fedora Rawhide Docs :: Working with the GRUB 2 Boot Loader]
-* https://docs.fedoraproject.org/en-US/Fedora/23/html/System_Administrators_Guide/sec-Configuring_GRUB_2_Using_the_grubby_Tool.html[Using the grubby tool]

modules/ROOT/pages/kernel/installing-koji-kernel.adoc

@@ -2,17 +2,50 @@
 
 :description: A quick guide on installing a kernel from the Koji repository.
 
-Koji is the build system Fedora developers use to build software for inclusion into Fedora. If there is a need to install a kernel different from the one that gets installed by default, these can be obtained from the Koji repository.
+Koji is the build system Fedora developers use to build software for inclusion into Fedora. 
+If there is a need to install a kernel that is not currently available in the Fedora repositories, 
+these can be obtained from the Koji repository.
 
-== Install the koji package
+== Check Koji (Fedora build system) for archived builds
 
-The koji package makes this process much easier. Let's install the package:
+Check the https://koji.fedoraproject.org/koji/search?match=glob&type=build&terms=kernel-*[Koji] archive for the historical builds.
+It is possible to use different searches or expressions to help narrow down on a specific kernel build.
+Once the specific kernel has been identified, there are several ways to download and install it.
+
+== Download using the browser and install
+
+One way is to download the identified packages using the browser and installing them.
+
+Download the following package rpms for a specific kernel version into a directory 
+(best to create a new directory and just have the downloaded rpms in it.:
+
+----
+kernel-<version>.<release>.<arch>.rpm
+kernel-core-<version>.<release>.<arch>.rpm
+kernel-modules-<version>.<release>.<arch>.rpm
+----
+
+then, open a command prompt and change to this directory.
+Execute the command to install the kernel:
+
+----
+sudo dnf install *
+----
+
+== Download and install a kernel using the koji client
+
+=== Install the koji client
+
+The koji client makes the process of installing a specific kernel much easier from the command line. 
+Use this command to install the client:
 
     $ sudo dnf install koji
 
-== Download and install the kernel
+=== Download and install the kernel
 
-Below is a one-line command that creates a new unique temporary directory, downloads kernel RPMs to it and installs them. This assumes we are working with the `x86_64` architecture.
+Below is a one-line command that creates a new unique temporary directory, 
+downloads kernel RPMs to it and installs them. 
+This assumes we are working with the `x86_64` architecture.
 
     cd $(mktemp -d) \
       && koji download-build --arch=x86_64 --arch=noarch kernel-n.nn.nn-nnn.fcnn \
@@ -20,9 +53,10 @@ Below is a one-line command that creates a new unique temporary directory, downl
 
 This eliminates the need to clean up after installation and the risk of installing unwanted rpms accidentally.
 
-The following part of the above command downloads the kernel and its dependencies for the given architecture and kernel version.
+The following part of the above command downloads the kernel 
+and its dependencies for the given architecture and kernel version.
 
-    koji download-build --arch=[arch] kernel-n.nn.nn-nnn.fcnn
+    koji download-build --arch=[arch] kernel-<version>.<release>
 
 where [arch] indicates the architecture i.e. `x86_64`