Remove kernel headers from rbtree.h