fix make target for portalmem for x86