[PATCH v3 0/7] Add back the buddy allocator