sane-reboot: fix operation on servo

pkgs/additional/sane-scripts/src/sane-reboot

@@ -7,8 +7,10 @@ shift
 host="$(hostname)"
 if [ "$host" = "$target" ]
 then
-  # N.B.: anything other than just `reboot` with no args requires `sudo` privilegs (to write to /run/systemd/)
-  reboot "$@"
+  # N.B.: anything other than just `reboot` with no args requires `sudo` privileges (to write to /run/systemd/).
+  # `systemctl reboot -i` tells systemd to ignore inhibitors (i.e. other users logged in).
+  reboot "$@" || \
+    systemctl reboot -i "$@"
 else
   echo "WRONG MACHINE. you're on $host."
   exit 1