/bl32/sp_min/