[PATCH] mm: bug in set_page_dirty_buffers