# CONFIG_SFC_MCDI_MON is not set
