[U-Boot] [PATCH v2 02/35] zynq: Enable Boot FreeBSD/vxWorks