Added checkpoint methods to sim-R10K.c