trivial to confirm; on an up-to-date system:
$ grep CONFIG_DMAR /boot/config-2.6.32-21-generic # CONFIG_DMAR is not set
trivial to confirm; on an up-to-date system:
$ grep CONFIG_DMAR /boot/config- 2.6.32- 21-generic
# CONFIG_DMAR is not set