cannot install FreeBSD 12.0 Xen 4.12.1 on Intel Core i7 CPU 930

[Stefan Parvu]

> # acpidump -t|grep DMAR
>  DMAR: Length=180, Revision=1, Checksum=195,
> 	OEMID=A M I, OEM Table ID=OEMDMAR, OEM Revision=0x1,
> 

root at earth:~ # acpidump -t | grep DMAR
  DMAR: Length=288, Revision=1, Checksum=93,
	OEMID=AMI, OEM Table ID=OEMDMAR, OEM Revision=0x1,

this is it.

Stefan