added comments about Zynq processor register addresses