# CONFIG_KVM_GUEST is not set
