# CONFIG_MISC_ALCOR_PCI is not set