Cómo solucionar cuando las reglas de precios sobre el carrito no funcionan sobre Magento 1.9.1 con HHVM

Al migrar Magento a un nuevo servidor CENTOS con HHVM las reglas de precios dejaron de funcionar en el carrito.  Se mostraban los descuentos pero no se aplicaban en el precio final en el carrito.

En el anterior servidor (que no tenía el HHVM) no teníamos este problema por lo que, después de muchos quebraderos de cabeza, encontramos en este hilo https://github.com/facebook/hhvm/issues/5001 la solución.

Editamos el fichero /etc/hhvm/sever.ini

Reemplazamos la siguiente línea

hhvm.enable_zend_sorting=false

por esta otra

hhvm.enable_zend_sorting=true

Luego reiniciamos el HHVM con el comando systemctl restart hhvm y los descuentos comenzarán a funcionar sin problema.