tree d7f3a19eac9d011952f1d4d98e12cabeda308c90
parent 3627710c10df25e4874f85ed3b7099add1ebf098
author David Greenaway <dgreenaway@google.com> 1619069742 +1000
committer David Greenaway <dgreenaway@google.com> 1619075067 +1000

[config][x64] Set system clock to RTC during system boot.

On x64, set the system clock to the (VMM provided) real time clock to
ensure the system time is correct.

Bug: 74914
Change-Id: I314d0b8ce81c820f9b7490201065de233d0afd08