uml: simplify SIGSEGV handling