replacement for sel_addrspace added. will be activated later (see
the comment inside userspace.c)