Stability and stabilization of discrete-time semi-Markov jump linear systems via semi-Markov kernel approach