On the HCL it says for thinkpad t430 with i7-3632qm and HD 4000: iommu - no. Whereas for the same 3632qm CPU in a Dell XPS 15 it is stated: iommu - yes. As Intel 3632qm supports VT-d, is it because of the mainboard of the t430 that it does not support iommu? The same board with other intel CPUs actually supports iommu.
Edit: It is because there are two versions of the 3632qm CPU. The socketed version does NOT support VT-d, only the soldered one. This leads me to a further question: Why did intel remove VT-d from the socketed version of their best performing 35W cpu?