[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
diff --git a/arch/x86/configs/machina_defconfig b/arch/x86/configs/machina_defconfig
index 6547cbf..dae1ef3 100644
--- a/arch/x86/configs/machina_defconfig
+++ b/arch/x86/configs/machina_defconfig
@@ -332,7 +332,8 @@
CONFIG_DRM_VIRTIO_GPU=y
# CONFIG_USB_SUPPORT is not set
CONFIG_RTC_CLASS=y
-# CONFIG_RTC_HCTOSYS is not set
+CONFIG_RTC_HCTOSYS=y
+CONFIG_RTC_HCTOSYS_DEVICE="rtc0"
CONFIG_VIRTIO_PCI=y
CONFIG_VIRTIO_BALLOON=y
CONFIG_VIRTIO_INPUT=y
