only allow / expose changing the instruction pointer
rename US_BACKTRACE
remove leftover link helper for arm and gcc 4.9
debug infos are now always loaded if the DebugFlag is set in the kernel
MountMinixAnd... renamed to ProcessRegistry