4967b1
- Update Xen patches to 3.10-rc4. - use vCPU time info registration to support vread_pvclock(). - Delete patches.xen/xen-netback-nr-irqs. - config.conf: Re-enable Xen flavors. - Update x86 config files.