Merge pull request #947 from gilles-peskine-arm/mpi-0-mod-2-2.28

Backport 2.28: Fix null pointer dereference in mpi_mod_int(0, 2)