Only call addrspace_destroy() if USERPROG.