# CONFIG_FMC is not set