I've been having the same problem today, migrating a Revive 3.1.0 install from an old Centos box to a new one with Centos 7. Just trying to log into the admin panel (/www/admin/index.php) causes the segfault. I applied the patch that the PHP devs say fixes the issue (https://bugs.php.net/patch-display.php?bug_id=65372&patch=bug65372.patch&revision=latest), both files patched fine. However, I still see the very same segfault.
Is it possible there is another issue at play here? Or is there more to the fix than simply the patch?