Try xen-devel instead of xen-users. This is too low level and you will get attention from the people you need there.
I suppose that each Motherboard manufacturer may decide how they want to implement the feature. Basically, you may want to ask Tyan support about why it behaves like that. Keep in mind that since it is a very low level question you will need a lot of luck to get a response that makes you happy, much more for a custom BIOS.
Date: Sat, 15 Aug 2015 22:17:26 -0400
From: bhimberg@xxxxxxxxx
To: xen-users@xxxxxxxxxxxxx
Subject: Re: [Xen-users] VT-d superpages (2MB, 1GB) and the intel iGPU
_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxx
http://lists.xen.org/xen-users