[ros-diffs] [greatlrd] 22524: bugfix : patch from w3seek bug 1620 : RTL: Fix a locking bug in the vectored exception handling