4de2e4
- Update Xen patches to 3.8-rc3. - config.conf: Re-enable Xen flavors. - Update x86 config files.