Linuxカーネルでプロセスが確保したメモリ領域をRedBlackツリーで管理してるみたいなんだけど、なんでAVLツリーで管理しないんですか?