mapKernelPage() on ARM should invalidate paging structures

[dgruss]

on x86 we added a cr3 reload to ensure paging structures caches are reloaded... on ARM we need to add a line or two to do that