Modifications to Open Virtualization for Xilinx ZC702: I. In the top dir, a Makefile was added to replace the build script. II. The dts was modified to include the following kernel args: console=tty0 ...