Thanks to Mark Post and Willem Konynenberg. Since "Linux keeps its own system clock in software, which is initialised at IPL time from the hardware clock," the simplest thing to do is to just set up ntpd because I only have a handful of Linux guests.
Bill Barr
