[PATCH] mm/ksm: Don't WARN if page is still mapped in remove_stable_node()