Ubuntu
linux package

  1. Bug #1772038
  2. Comment #22

Comment 22 for bug 1772038

Revision history for this message
John Edwards (john-cornerstonelinux) wrote :

Similar bug report about problems booting 4.15 kernels on HP dc5800 machines on RedHat's bugzilla:
  https://bugzilla.redhat.com/show_bug.cgi?id=1520265

Some people there say that upgrading the BIOS to version 1.6 fixes the problem, so may be worth a try.