Moving on to Arch Linux on my Raspberry Pi because Debian doesn't reboot properly with systemd.