Corrected patch for non-EHABI exceptions on ARM