How exactly are page tables allocated on demand for large reserved regions? (blogs.msdn.microsoft.com)