Add some support for PTLsim MMIO-based PTLcalls.