linux kernel buddy memory allocator simulator