На самом деле нет какой-либо процедуры, о которой я знаю, ни в одной из библиотек (частных или нет) для перезапуска устройства. Тем не менее, если вы можете позвонить в ядро, вы наверняка можете сделать это.
Имейте в виду, конечно, что подобные действия противоречат принципам юзабилити. Исходя из вашего предыдущего вопроса, на который я ответил, вы не ориентируетесь на магазин приложений, поэтому, скорее всего, это никогда не станет проблемой; но до сих пор. Если вам нужно перезагрузить телефон, есть большая вероятность, что все, что вы делаете для этого, может быть сделано по-другому.