[U-Boot] [PATCH v1 07/24] zynq: Enable Boot FreeBSD/vxWorks