Eric Pouech : ntdll: Fix wrong marking for valgrind on 64bit systems.