virtualbox-modules-4.1.2 is looking for CONFIG_IOMMU_SUPPORT but I have no such option in my kernel at all. I am using pf-sources-3.0.3 ( linux-3.0 + pf-patches ). bookie $ grep CONFIG_IOMMU_SUPPORT .config bookie $
Yeah, this is a kernel-3.1 option which I must remove again as soon as I have the time for that.
*** This bug has been marked as a duplicate of bug 379985 ***