[ros-diffs] [ion] 54320: [KERNEL32]: Fix some bugs in previous two commits (thanks Thomas).