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

[Stefan Parvu]

> When booting plain FreeBSD, can you try the following?
> 
> # acpidump -t|grep DMAR
>  DMAR: Length=180, Revision=1, Checksum=195,
> 	OEMID=A M I, OEM Table ID=OEMDMAR, OEM Revision=0x1,
> 
> If you don't get output it means there's no DMAR ACPI table, and thus
> no VT-d support (at least from the OS point of view).

sure. Will try this and report back in couple of hours.