Summary of changes: 8073e08... Port shutdown/restart code to systemd (#788171) (*) 8ad0170... Enable the systemd shutdown patch and (hopefully) fix it. (*) c5ce222... Fix another bug in the systemd-shutdown patch (*) (*) This commit already existed in another branch; no separate mail sent