Change interface of addrspace_load() to provide initial stack pointer.