Add reboot.c back

Change-Id: I09717540794f1e83310654fac1939a25543641a6