Comment # 4 on bug 1203539 from John Carrick Smith

1. Tried with intel_iommu=off on the boot command line and it made no
difference.

2. How do I produce the full stack trace please? 

Thanks John