Device tree bug in Sopc2dts

Hi,

I download this from the web http://www.terasic.com/downloads/cd-rom/de1-soc/de1-soc_v.5.1.1_hwrevf_systemcd.zip

and put files *.rbf and *.dtb into sd card with ubuntu from the terasic. (I had to generate rbf)

It works fine. In the project there is an original dts file and I did the convertion to dtb and it works too.

Now I try to genereate the dtb with sopc2dts using hps_clock_info.xml and soc_system_board_info.xml but it din't work.

 $ sopc2dts -i soc_system.sopcinfo  -o socfpga.dts  -b soc_system_board_info.xml -b hps_clock_info.xml --bridge
-removal all --clocks

There is a kernel panic error.