Re: [PATCH 1/2] Set intel_iommu=on in kernel command line