Re: [PATCH] arm64: dts: ti: k3-j7200: Fix OSPI boot