Checkpoint-Restart: Proprietary Hardware and the "Spiderweb API"