Reported by clusteradm during provisioning of the ThunderX package build machines: "warning: no time-of-day clock registered, system time will not be set accurately" Likely we can get the time from EFI runtime services - there's old ia64 code in sys/ia64/ia64/efi.c
*** This bug has been marked as a duplicate of bug 212185 ***