[ros-diffs] [reactos] 01/09: [HAL] Fix build with CONFIG_SMP