[ros-diffs] [ion] 13847: Merge with 13846. Fixes QEMU+KDBG problem.