d6e2c2
- Linux 3.13.3 (bnc#799216). - Refresh patches.xen/xen-x86-EFI. - Refresh patches.xen/xen3-patch-3.12. - Delete patches.drivers/drm-cirrus-Correct-register-values-for-16bpp. - Update config files.