This patch initializes the MMU structures for the kernel context. This is
needed before we can configure mappings for the kernel context.
Signed-off-by: NOded Gabbay <oded.gabbay@gmail.com>