Reverse-engineering Nvidia's CUDA-checkpoint for faster cold starts