Generic Fedora kernel test instructions
=======================================

1. Create a folder to save the kernel rpms into
2. Download the:
    kernel-core-<version>.x86_64.rpm
    kernel-modules-<version>.x86_64.rpm
    kernel-modules-core-<version>.x86_64.rpm
   files from the provided koji link into the created folder
3. From the folder run: "sudo rpm -ivh --oldpackage kernel*.rpm"
4. Remove any manual configuration you've done to work around the bug, such as
   kernel cmdline changes in grub config files, or /etc/modprobe.d/*.conf files
5. Note test kernels are not signed so you need to disable secureboot if you
   have it enabled
5. Reboot, press ESC / F1 / F2 (machine specific) to enter your BIOS setup
   to disable secure-boot if necessary
6. Select the new kernel (should be selected by default) and boot into the new
   kernel
7. Verify you've removed any special kernel commandline options by doing:
   "cat /proc/cmdline" and checking they are not there
8. Test if the bug is now fixed
9. Report the testing-results back in bugzilla