[ros-diffs] [sir_richard] 49778: [NTOS]: Add MiGetPteOffset for ARM. All of the kernel compiles, but does not link yet.