VOTE: nsis
Here is a new patch for 3.0b0 which uses InitiateShutdown instead of InitiateSystemShutdownEx....
I just tried the following, which also works: InitiateShutdown(NULL, NULL, 0, SHUTDOWN_RESTART...
Reboot instruction on Server 2012 R2