Re: [PATCH] xilinx: Add option to load environment from outside of boot media