That is actually what my PC(1) rc script will do (ntpdate) when it boots but before it starts the ntp service. Do you know if the syslog message that kernel time sync status change to 0001 means ...

Amazon Web Services (AWS) has made its Time Sync available as a public NTP service, offering access to the current time via a global fleet of redundant satellite-connected atomic clocks. Time.aws.com ...

Dr. Mills created the Network Time Protocol (NTP) in 1985 to address a crucial challenge in the online world: the synchronization of time across different computer systems and networks.