[PATCH v2 026/169] Correct SPL use of ARCH_VERSAL