This is what I have determined thus far on a test machine:
Is the above calculations correct ? Please tell me what I'm doing wrong ?
Found the solution thanks to Neitsa. I was working with two different versions of ntoskrnl.exe one version for Windbg and the other version with IDA Free.