Hi I am trying to attach gdb using openocd to debug linux kernel, I am able to attach openocd.but when I start with gdb scripts https://github.com/STMicroelectronics/wiki-stm32mp-addons/blob/main/gdb-scripts/Path_env.pyGdb is not able to get symbols,...