Re: [PATCH] xilinx: Enable efi debug command