Use the correct ARM ABI for platforms 16 & 17.