Fix issues with device tree overlay generation for interrupt controller.

[IvoBrandao]

📋 Fix issues with device tree overlay generation for interrupt controller.

📌 Description

Fixes the device tree overlay generation issues in the interrupt controller

• Type of Change: Bugfix

🚀 What Has Been Done?

• In the file common_proc.tcl a semi-collon was mission in the device tree version marker
• In the in file intc/data/intc.tcl the argument order for the set_drv_prop function is not correct.

🧪 Testing

I just executed the generation for the device tree I needed. I could not find the tests in this repo. If they exist I can run them.

I used the following configuration

---
dict_devicetree:
    kernel_ver: 2024.1
    mainline_kernel: none 
    board_dts: zynqmp-smk-k26-reva
    dt_overlay: true
    output_dir: build
    dt_zocl: true
---

There where two errors generated:

1. for the device tree version marker

pl.dtsi:2.1-9 syntax error
FATAL ERROR: Unable to parse input tree

2. another one for the interrupt controller

pl.dtsi:40.33-34 syntax error
FATAL ERROR: Unable to parse input tree

line 40 contains the following.

xlnx,num-intr-inputs = <32> <0x20>;