Bitmap size in buddy_alloc.cpp