add first attempts at portalmem kernel support