8673f3
- Update Xen patches to 3.12-rc5. - config.conf: Re-enable Xen configs. - Update config files. - Delete patches.xen/xen3-010-acpi_initrd_override_tables.patch.