badpage: replace page_remove_rmap Eeek and BUG