Resolve some potential confusion with 64bit pointers, and extra documentation behind the use of a magic number in KeInitializeTimer