# CONFIG_IKCONFIG is not set