After almost three hours of testing the problem did not appeared anymore with patched driver, so the patch indeed fixed the problem.
After almost three hours of testing the problem did not appeared anymore with patched driver, so the patch indeed fixed the problem.