acrn-hypervisor/devicemodel/vmcfg/Kconfig