Hi,

Initial patch sent out to xen-devel:
http://lists.xen.org/archives/html/xen-devel/2012-10/msg00567.html

Feedback from Jan Beulich:
http://lists.xen.org/archives/html/xen-devel/2012-10/msg02135.html

This patch integrates feedback from Jan Beulich and did some
additional cleanup.

Run tests on Intel machines. Works as expected.