Comment # 18 on bug 101029 from Michel Dänzer

-p1 should work in the top level directory of a Linux kernel source tree.

Have you confirmed that iommu=soft on the kernel command line works around the
problem?