# CONFIG_CHECKPOINT_RESTORE is not set