Made addrspace_init() use USER_ADDRSPACE_START