Zynq 7000 – tricks and gotchas on baremetal messaging