[U-Boot] [PATCH v3 02/29] zynq: Enable Boot FreeBSD/vxWorks