Live migration of virtual machines is kernel independent. The guest VM can be running a unikernel, BSD, Windows, etc. The interface the guest uses to sync or retrieve time depends on whether the guest reads the virtualized hardware clock (goes by many names) or a paravirtualized API is used (such as kvm-clock).