It seems that the elaborate function in reboot_system.c does not work. My tests always result in an reboot without a prompt.