[ros-diffs] [tkreuzer] 56324: [NTOSKRNL] Don't truncate pointers to 32 bits in pushlock code