Symbol: vhci_is_dev_supported