[PATCH 029/171] Correct SPL use of ARCH_ZYNQ