[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

arch/x86/configs/machina_defconfig

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