We only support EABI binaries, so there is no reason to support OABI syscalls.
The loader detects OABI calls and fatal() so there is no reason to even check
here.
     // As of now, there isn't a 32 bit thumb version of this instruction.
     assert(!machInst.bigThumb);
     uint32_t callNum;
-    if (machInst.thumb) {
-        callNum = bits(machInst, 7, 0);
-    } else {
-        callNum = bits(machInst, 23, 0);
-    }
-    if (callNum == 0) {
-        callNum = tc->readIntReg(INTREG_R7);
-    }
+    callNum = tc->readIntReg(INTREG_R7);
     tc->syscall(callNum);
 
     // Advance the PC since that won't happen automatically.