Remove the _PAGE_ISCLEAN bit in pte_mkwrite to make pte_mkwrite
work correctly even if it is not followed by a pte_mkdirty.