Don't try to detect endless pagefault-loops (fixes #39).