Fix encoding of break/syscall to be compatible with sim