Log Message:
Update the Xen3 packages to 3.1.2.
Package changes:
  point HOMEPAGE to http://xen.org/
  looks like the Xen peoples won't put a tarball on their http server
  for this; I built one from their repository and put it in
  ${MASTER_SITE_LOCAL}
Summary of changes since 3.1.0:
  some of our patches have been integrated upstream, thanks to Christoph Egger
  various performances improvements and bug fixes, including some security
    fixes, and one bug that would lead to floating point register
    leak/corruption from HVM to PV guests on Intel VMX CPUs.