# CONFIG_RADIO_GEMTEK_PCI is not set
