sanitize the process_create simcall

It was receiving a pointer to its result as first parameter, and it
now simply returns that result.

It could be further improved by returning a smx_process_t instead of a
void*, but our simcall mechanism does not seem to allow to cast results.