When in the GRUB boot screen, type e to edit the startup script. Search for the line containing quiet splash
somewhere near the end, and add the following after splash
:
acpi=noirq pci=noacpi ivrs_ioapic[4]=00:14.0 ivrs_ioapic[5]=00:00.2
You'll need to repeat this every time you boot, until you finally get a running system. Then you may edit /etc/default/grub
and add the above to the variable GRUB_CMDLINE_LINUX_DEFAULT
. On my system it looks like this:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi=noirq pci=noacpi ivrs_ioapic[4]=00:14.0 ivrs_ioapic[5]=00:00.2"
After you save and exit the file, you'll need to run update-grub
to apply the changes, afterwards you should be able to boot normally.
By the way, I didn't manage to get a proper installation with 18.10, but it worked fine with 18.04.1.