[U-Boot] [PATCH] ARM: zynq: Choose boot image based on OF_SEPARATE macro