Re: [PATCH] arm64: xilinx: Guard distro boot variable generation