[ros-diffs] [jgardou] 55582: [NTOSKRNL] - Use proper macro for getting PDE from PTE.