# CONFIG_BLK_DEV_IDEPCI is not set