[PATCH v3 0/3] MR11001: ntdll, ntoskrnl.exe: account for read-only cookie in loader