[ros-diffs] [sginsberg] 36874: - SMP SYNCH_LEVEL for x86 is IPI_LEVEL - 2 since 2K3