[PATCH 030/171] Correct SPL use of ARM64