kernel: mmu: Fix trivial typos

Otherwise the memory scheme is confusing to read.

Signed-off-by: Carlo Caione <ccaione@baylibre.com>
1 file changed