Disable use of "ud2" instruction (disallowed by NaCl) in consistency_check()