Correct hash flushing from huge_ptep_set_wrprotect()