[ros-diffs] [ion] 25587: - Proper fix for the bug that 25558 attempted to fix. Kernel-mode registry handles now work (they didn't before 25558). - Also the system now boots again since this fix is correct.