Possible DEREF_OF_NULL in linux-user/syscall.c