# CONFIG_MICREL_KS8995MA is not set