posts: trivial fixes in "U-boot and Linux on Zynq" articles