fix mistake where we used the same syscall number for both 32 & 64 bit tables