updating generated files used by driver
fix a bug in zynqportal.  still doesn't work