K-theory of the sphere bundle of copies of a complexified real tautological line ($K^0(S(L^{\oplus k}))$)

Let $L$ be the complexification of a real vector bundle of the tautological bundle over Real projective space ${\mathbb{RP}}^{2n+1}$. For $k\ge 1$, the K-theory Euler class of $L^{\oplus k}$ is $-2^{k-1}([L]-1)$, andThe K-theory Gysin sequence of a sphere bundle gives an extension by $\mathbb{Z}$, which splits as an exact sequence of abelian groups.