- Refresh Xen patches (adjustments for pv-ops builds and a huge
  memory DomU boot fix).