[ros-diffs] [tkreuzer] 35509: On SMP builds SYNCH_LEVEL is (IPI_LEVEL - 2) or 12