f22562
- Update Xen patches to 3.3-rc5 and c/s 1157. - config.conf: Re-enable Xen configs. - Update config files.