[PATCH 142/171] Correct SPL use of SL28_SPL_LOADS_OPTEE_BL32