Hi team, I am trying to run zephyr rtos on litex vexriscv using Nexys video board.After the successful bitstream generation and all, I tried to load zephyr.bin file (obtained from zephyr/samples/hello_world. Zephyr.bin is generated Using cmake - b board - Dboard=litex_vexriscv and ninja command). The command used to boot the bin file is