[ros-diffs] [sir_richard] 46040: [CSRSS]: Fix yet another bug in the unused csrss code.