Configure kernel for zynq-miami
FSBL for zynq-miami