ARM: zynq: Do not select options if SPL is not enabled