Merge Robert Norton's changes to add labels at strategic points in kernel
and userspace protection-domain switching, making instruction-stream
analysis more straight forward.