modify after_free() in buddy.c, I find it can not be optimized