4cdebd
- Update Xen patches to 3.6-rc4 and c/s 1188. - config.conf: Re-enable Xen configs. - Update x86 config files.