ti81xx_restart
.restart = ti81xx_restart,
void ti81xx_restart(enum reboot_mode mode, const char *cmd);