rbtree: adjust node color in __rb_erase_color() only when necessary