Actualizaciones: Xen 4.1.2, kernel 3.2.40

Seguimos con nuestras habituales actualizaciones, que esperemos den fruto en un mayor rendimiento y funcionalidad.

Esta vez nos hemos centrado en la infraestructura: hypervisor y kernel