56ffa4
- Update Xen patches to 3.16-rc3 and c/s 1261. - config.conf: Re-enable Xen configs. - Update x86 config files.