Update buddy_allocator.h