[ros-diffs] [reactos] 14/14: [NTOSKRNL] Print boot cycles on x64 just like on x86