Add cache clean + invalidate on the page tables that get modified during
startup before the MMU is enabled. Without this, if these memory regions
were present in cache before LK started, the CPU will see the stale
cached values as soon as the MMU is enabled. Invalidating these forces
the CPU to fetch the correct values from memory after the MMU is enabled.
Add cache clean + invalidate on the page tables that get modified during startup before the MMU is enabled. Without this, if these memory regions were present in cache before LK started, the CPU will see the stale cached values as soon as the MMU is enabled. Invalidating these forces the CPU to fetch the correct values from memory after the MMU is enabled.