After my SA_RESTART change (#2659 (closed)) the sysenter_is_int80 tests are failing:
http://dynamorio.org/CDash/buildSummary.php?buildid=29946