Doesn't necessarily imply that in general, sure, but for the specific cases of systemd and timesyncd/gummiboot/nspawn, they are in fact trivially separable. I'm

Doesn't necessarily imply that in general, sure, but for the specific cases of systemd and timesyncd/gummiboot/nspawn, they are in fact trivially separable. I'm pretty sure that's even the out-of-the-box config of Debian.