Why is a random walk a time-homogeneous Markov process? Why is a random walk on $\mathbb{R}^d$ (see below) a time-homogeneous Markov process? Specifically, why does it satisfy requirement #2 of definition 17.3 that the map $\left(x,B\right)\mapsto\mathrm{P}_x\left[X\in B\right]$ be a stochastic kernel?

Relevant Definitions
Let $Y_1,Y_2,\dots$ be i.i.d.$\mathbb{R}^d$-valued random variables and let
$$S_n^x=x+\sum_{i=1}^n Y_i\space\space \mathrm{for}\space x\in\mathbb{R}^d\space\mathrm{and}\space n\in\mathbb{N}_0$$
Define probability measures $\mathrm{P}_x$ on $\left(\left(\mathbb{R}^d\right)^{\mathbb{N}_0},\left(\mathcal{B}\left(\mathbb{R}^d\right)^{\otimes\mathbb{N}_0}\right)\right)$ by $\mathrm{P}_x=\mathrm{P}\circ\left(S^x\right)^{-1}$. Then the canonical process $X_n:\left(\mathbb{R}^d\right)^{\mathbb{N}_0}\rightarrow\mathbb{R}^d$ is a Markov chain with distributions $\left(\mathrm{P}_x\right)_{x\in\mathbb{R}^d}$. The process $X$ is called a random walk on $\mathbb{R}^d$ with initial value $x$. [Klenke, Example 17.5, p. 347]
 A: You have to show that, for each $A$ fixed in the countable product $\sigma$-algebra, the map $x \to \mathbb{P}_x(A) = \mathbb{P}(S^x \in A)$ is measurable.
Since $S^x = S^0 + \underline{x}$, where $\underline{x} = (x, x, ..., x, x, ...)$, we have $\mathbb{P}_x(A) = \mathbb{P}_0(A - \underline{x})$. Setting $A_x = A - \underline{x}$, we have $\mathbb{P}_x(A) = \mathbb{P}_0(A_x) = \mathbb{E}_{\mathbb{P}_0}(\chi_{A_x})$.
Fact : If $(X, \mathcal{A})$ is a measurable space, $(\Omega,\mathcal{T}, \mathbb{P})$ is a probability space, and $f : X \times \Omega \to [0,+\infty]$ is a measurable map, then the map $x \to \mathbb{E}_{\mathbb{P}}(f(x, .))$ is measurable.
(if you want to prove it, it's an application of a Dynkin-class argument : prove it first for characteristic functions of measurable rectangles, and then extend the result in the usual way)
So, we are reduced to prove that the map $(x, \omega) \to \chi_{A_x}(\omega)$ is measurable. But this function is just the characteristic function of the set of all $(x, \omega)$ such that $\underline{x} + \omega \in A$, and since the map $(x, \omega) \to \underline{x} + \omega$ is measurable (exercise !), we are done. 
