[ros-diffs] [reactos] 09/09: [NTOS][SETUP] Add x64 SMP kernel and make SMP the default boot mode on x64