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