It is true that $F^{-1}O_S=O_S$, but in the tensor product for $F^*L$, the $O_S$-module structure of the right factor $O_S$ is not given by the identity $O_S\to O_S$, it is the Frobenius $F^{\#}$. It would be less confusing to write $F: T \to S$, and consider the tensor product $F^{-1}L\otimes_{F^{-1}O_S} O_T$.
Further remark on the construction of $F^*L$: you should not use the very definition, but the property that if $S=\mathrm{Spec}(A)$, $T=\mathrm{Spec}(B)$ and $L$ is any quasi-coherent sheaf on $S$ associated to an $A$-module $M$, then $F^*L$ is just the quasi-coherent sheaf on $T$ associated to the $B$-module $M\otimes_A B$.
A proof of $F^*L\simeq L^{\otimes p}$ is as you suggested: consider (the isomorphism class of) the sheaf $L$ as an element of $\mathrm{Pic}(S)=H^1(S, O_S^*)$. Then the effect of taking $F^*$ is given by $F^{\#}: O_S^* \to O_S^*$.
Anothe proof gives directly an isomorphism as follows. Let $A$ be an $\mathbb F_p$-algebra. Denote by $\rho=F^{\#}$ the absolute Frobenius on $A$, and by $A_\rho$ the $A$-algebra whose ring is $A$, but the $A$-algebra structure is given by $\rho : A\to A_\rho$. Similarly, for any $A$-module $M$, let $M_\rho$ be $M$ endowed with the structure of $A$-module via $a*x=\rho(a)x$. This is also an $A_\rho$-module whose structure is exactly that of $M$ as $A$-module. Let $S(M_\rho)$ be the symetric algebra over $A_\rho$ associated to $M_\rho$. We have an $A$-bilinear map $ \phi: M \times A_\rho \to S(M_\rho), \quad (x, b)\mapsto bx^p.$ Actually $\phi(ax, b)=b(ax)^p=ba^px^p=\rho(a)\phi(x,b)=a*\phi(x,b)$, and $\phi(x, a*b)=\phi(x, a^pb)=a^p\phi(x,b)=a*\phi(x,b)$. So $\phi$ induces a $A$-linear map $ M\otimes_A A_\rho \to S(M_\rho), \quad x\otimes b\mapsto bx^p.$ This map is $A_\rho$-linear too. When $M$ is free of rank one, this induces an isomorphism onto the degree $p$ component of the symetric algebra which is also $M^{\otimes p}$. Continued in the comments.