[U-Boot] [PATCH v5 02/30] zynq: Enable Boot FreeBSD/vxWorks