Re: [PATCH] arm64: zynqmp: Handle MMC seq number based on boot device