[PATCH] mm: fixup do_wp_page()