adcd98
- Update Xen patches to 3.11-rc5. - config.conf: Re-enable Xen configs - Delete patches.xen/xen-sections.