Re: [PATCH 3/5] arm64: zynqmp: rename overlay sources to .dtso