update page_alloc.c : free_pages