[PATCH] page_alloc.c: buddy handling cleanup