To fix “Bus error” when rebooting

If getting “Bus error”, the fix is to edit /etc/default/grub file adding pci=nomsi and pci=noaer options to the next lines.

GRUB_CMDLINE_LINUX_DEFAULT=”pci=nomsi”
GRUB_CMDLINE_LINUX=”pci=noaer”

gksu xdg-open /etc/default/grub

… after editing

sudo update-grub