On Mon, Jul 14, 2014 at 10:04 AM, Benny de von Ausfern <benny4556 at gmail.com> wrote: >>Please add this to the kernel command line to work around the kernel bug: >>intel_iommu=igfx_off > > I am not sure if I added the kernel command line properly. The reason is > that I am new to EFI bootloader and I'm not really sure how to configure > reFind to do that, but I tried. You can verify whether the parameter was added by reading /proc/cmdline .
