something went very very wrong when merging here it seems
remove line that should have been removed when merging
add flag to toggle verbose printing of thread registers
in pagefault handler, only print the short version of thread registers