[ros-diffs] [sir_richard] 45549: [NTOS]: Actually use calculated kernel stack size value. [NTOS]: Define the template PTE/PDE statically, instead of doing it in code. It's faster, and saves us the trouble of not being able to use the template from point 0. Move the template setup into ARM3 instead of page.c.