Re: [PATCH] xilinx: r5: Disable EFI loader