So, I’ve been experimenting with running servers on Raspberry Pi3, using CentOS 7.
CentOS is widely used in the enterprise environment, and it was recently released for the RPi. See: https://wiki.centos.org/SpecialInterestGroup/AltArch/Arm32/RaspberryPi3
Anyway, it needed a fake-hwclock package, to help it cope with running without a hardware clock. Based on stuff that I found on the internet, I came up with a systemd unit to provide that service.
Find it here: https://github.com/kristjanvalur/fake-hwclock