conf/genconf: update clint region size.

Signed-off-by: guibing <guibing@nucleisys.com>

Author: matthewgui

conf/genconf.py

@@ -535,7 +535,7 @@ def update_openocd_config(file_path, **kwargs):
                 clint_base_int = int(board_iregion_base, 16) + 0x31000
                 clint_base_int_high = (clint_base_int >> 32) & 0xFFFFFFFF
                 clint_base_int_low = clint_base_int & 0xFFFFFFFF
-                clint_size_int = 0xC000
+                clint_size_int = 0x10000
                 clint_size_int_high = (clint_size_int >> 32) & 0xFFFFFFFF
                 clint_size_int_low = clint_size_int & 0xFFFFFFFF
                 clint_reg_val = f"0x{clint_base_int_high:x} 0x{clint_base_int_low:x} 0x{clint_size_int_high:x} 0x{clint_size_int_low:x}"