Puppet Reboot provider for Linux