[ros-diffs] [reactos] 01/02: [NTOS:KD64] Fix usage of the debugging banner code, based on when KdInitSystem() is called (#7540)