[PATCH 10/67] ofnode: Use 4K for a default tree-size