posts: fix uboot-linux-on-zynq-2014-4