[ros-diffs] [ion] 14758: Implement KiServiceExit2 which restores debug registers and exits with IRET, used during user-mode return without a syscall