[PATCH] board: xilinx: Add support for user configurable boot script offset