# CONFIG_PCI_XEN is not set
# CONFIG_HYPERV is not set