Stuck at "Starting Kernel..."

I follow the tutorial at : https://rocketboards.org/foswiki/view/documentation/gsrd140devicetreegenerator

Under cygwin environment :

$ sopc2dts --input soc_system.sopcinfo

--output socfpga.dtb

--type dtb

--board soc_system_board_info.xml

--board hps_common_board_info.xml

--bridge-removal all

--clocks