Comment 12 for bug 1608689

To close the loop here - /sbin/reboot -f did reboot the system and it came back in a perfectly working, systemd enabled system. It was definitely a broken user experience though.