Does the buddy allocator free list need to be doubly-linked?

[hawkw]

Currently the free list is doubly-linked. Do we ever actually traverse it backwards? I don't think we do; should check to make sure.