Emulating Android Device Drivers via Replicated Execution Context