fixup! scripts: kconfig: add function to obtain highest IRQn on a controller

Author: mathieuchopstm

scripts/kconfig/kconfigfunctions.py

@@ -1299,7 +1299,7 @@ def inc_dec(kconf, name, *args):
         "dt_gpio_hogs_enabled": (dt_gpio_hogs_enabled, 0, 0),
         "dt_chosen_partition_addr_int": (dt_chosen_partition_addr, 1, 3),
         "dt_chosen_partition_addr_hex": (dt_chosen_partition_addr, 1, 3),
-        "dt_highest_controller_irq_number": (dt_irq_controller_highest_irqn, 2, 2),
+        "dt_highest_controller_irq_number": (dt_highest_controller_irq_number, 2, 2),
         "normalize_upper": (normalize_upper, 1, 1),
         "shields_list_contains": (shields_list_contains, 1, 1),
         "substring": (substring, 2, 3),