# CONFIG_VIRTIO_RTC is not set
