# CONFIG_CHELSIO_T4_FCOE is not set