On SOCP-based disjunctive cuts for solving a class of integer bilevel nonlinear programs