Comment # 13 on bug 1230843 from Takashi Iwai

OK.  And if you boot the TW kernel with intel_iommu=off option, does it change
anything?