Fix randomly failing pagefault test