Two things need to be done when vfork'ing: - Must attach to parent's address environment (the addrenv is shared) - Must allocate a kernel stack (where would the register context go otherwise) Note that this code assumes the address environment is shared, since we don't support fork() which would _clone_ the address environment instead.