Bug 839562 - "sudo reboot" doesn't work on Ubuntu. r=dustin