Changed to use sky-checkpoint.c instead of sky-shell.c since checkpointing was disabled in sky-shell.c
Changed to use sky-checkpoint.c instead of sky-shell.c since checkpointing was disabled in sky-shell.c

MohamedSeliem/contiki,arurke/contiki,bluerover/6lbr,MohamedSeliem/contiki,bluerover/6lbr,bluerover/6lbr,arurke/contiki,bluerover/6lbr,arurke/contiki,MohamedSeliem/contiki,MohamedSeliem/contiki,MohamedSeliem/contiki,bluerover/6lbr,bluerover/6lbr,bluerover/6lbr,arurke/contiki,MohamedSeliem/contiki,arurke/contiki,arurke/contiki,arurke/contiki,MohamedSeliem/contiki