HP Enterprise vende activos a Micro Focus por 7.825 millones, incluyendo el 50,1% de la británica