Always disassemble for debugging
Extra semicolon
Add vmestream echo test to Makefile, and use xil_printf