[PATCH] arm64: zynqmp: Do not setup default SPL options without SPL