[PATCH] clean up __set_page_dirty_nobuffers()