# CONFIG_TULIP_MWI is not set