Joshua, do either of the following kernel parameters used separately provide a WORKAROUND: reboot=pci reboot=bios
Joshua, do either of the following kernel parameters used separately provide a WORKAROUND:
reboot=pci
reboot=bios