[PATCH v3 73/81] kconfig: Drop CONFIG_IF_ENABLED_INT()