# CONFIG_VIDEO_PCI_SKELETON is not set